miniKanren/simple-miniKanren miniKanren/simple-miniKanren

  • Stars
    star
    41
  • Rank 654,044 (Top 14 %)
  • Language
    Scheme
  • Created over 11 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
miniKanren/simple-miniKanren
github

miniKanren

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.

More Repositories

1

miniKanren

Canonical miniKanren implementation
Scheme
350
star
2

TheReasonedSchemer

Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
Scheme
124
star
3

Racket-miniKanren

Canonical miniKanren implementation in Racket
Racket
84
star
4

sokuza-kanren

Oleg Kiselyov's minimal implementation of logic programming
Scheme
23
star
5

miniKanren_org-website

Files for the miniKanren.org website. If you would like to update the site, please do so and send a pull request!
HTML
9
star