You are looking at historical revision 16994 of this page. It may differ significantly from its current revision.

• egg

kanren

Description

A declarative applicative logic programming system.

Author

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

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.

This extension provides the kanren and mini-kanren modules.

Version

4.504

fixed test-dependencies

4.503

Ported to CHICKEN 4

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

License

KANREN is OpenSource, distributed under the MIT license.