Language

Package: guile2.0-minikanren @ 20150424.e844d85

Synopsis

MiniKanren declarative logic system, packaged for Guile

Description

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.

Home page
https://github.com/ijp/minikanren
Location
gnu/packages/guile-xyz.scm (line: 2073, column: 2)
License

Lint warnings

LinterMessageLocation
No lint warnings