Description

A declarative applicative logic programming system

Author

Oleg Kiselyov and Dan Friedman, packaged for CHICKEN by Alex Shinn

Version

• 4.502 There is now only a single setup file, also installs html [Thanks to Benedikt Rosenau]
• 4.501 Added missing file (`kanren-term.scm') [Thanks to Benedikt Rosenau]
• 4.50 Initial release

Requires

• syntax-case

Usage

(require-extension kanren)
(require-extension mini-kanren)

Download

kanren.egg

Documentation

KANREN is a declarative logic programming system with first-class relations, embedded in a pure functional subset of Scheme. The system has a set-theoretical semantics, true unions, fair scheduling, first-class relations, lexically-scoped logical variables, depth-first and iterative deepening strategies. The system achieves high performance and expressivity without cuts.

For more information and example code, visit http://kanren.sourceforge.net

License

KANREN is OpenSource, distributed under the MIT license.