Package details of guile-minikanren

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 for more on miniKanren generally.

There is 1 version available for this package.

Defined atgnu/packages/guile-xyz.scm:2361 (guix channel)
Installation command
guix install guile-minikanren
Home page

View package version history.