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.
30 Day SummaryFeb 2 2020 — Mar 3 2020
|
12 Month SummaryMar 3 2019 — Mar 3 2020
|