A declarative logic programming system / News: Recent posts

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.