miniKanren/Racket-miniKanren miniKanren/Racket-miniKanren

  • Stars
    star
    84
  • Rank 380,774 (Top 8 %)
  • Language
    Racket
  • Created over 11 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
miniKanren/Racket-miniKanren
github

miniKanren

Reviews

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

Repository Details

Canonical miniKanren implementation in Racket

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

simple-miniKanren

Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.
Scheme
41
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