miniKanren/simple-miniKanren
Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.
Developer Profile
miniKanren
Discovered public repositories for miniKanren in the GitHub catalog.
miniKanren/Racket-miniKanren
Canonical miniKanren implementation in Racket
miniKanren/miniKanren
Canonical miniKanren implementation
miniKanren/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!
miniKanren/sokuza-kanren
Oleg Kiselyov's minimal implementation of logic programming
miniKanren/slpKanren
Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
miniKanren/2012-scheme-workshop-quines-paper-code
Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Interpreters."
miniKanren/cKanren
Public repository.
miniKanren/TheReasonedSchemer
Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.