A declarative logic programming system News
Status: Beta
Brought to you by:
oleg
Kanren is a declarative logic programming system with first-class relations
embedded in a pure functional subset of Scheme. The system has true
unions, fair scheduling, lexically-scoped logical variables,
set-theoretical semantics, high performance without cuts.
Kanren-4.50 is the first release of the system as a .tar.gz archive
with code, examples, and documentation.