miniKanren/sokuza-kanren

Stars
23
Rank 995,079 (Top 20 %)
Language
Scheme
Created over 11 years ago
Updated over 11 years ago

miniKanren/sokuza-kanren

miniKanren

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

Oleg Kiselyov's minimal implementation of logic programming

miniKanren

Canonical miniKanren implementation

TheReasonedSchemer

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

Racket-miniKanren

Canonical miniKanren implementation in Racket

simple-miniKanren

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

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!