Guix will hold its first online conference November 22nd. Propose a talk before November 6th. Learn more!

guile2.2-minikanren 20150424.e844d85 MiniKanren declarative logic system, packaged for Guile

MiniKanren is a relational programming extension to the Scheme programming Language, written as a smaller version of Kanren suitable for pedagogical purposes. It is featured in the book, The Reasoned Schemer, written by Dan Friedman, William Byrd, and Oleg Kiselyov.

This is Ian Price's r6rs packaged version of miniKanren, which deviates slightly from miniKanren mainline.

See http://minikanren.org/ for more on miniKanren generally.