Canonical miniKanren implementation
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
==-tests.scm copied from webyrd/faster-miniKanren Apr 11, 2018
LICENSE
README.md
absento-closure-tests.scm comment out failing tests Apr 11, 2018
absento-tests.scm
disequality-tests.scm comment out failing tests Apr 11, 2018
mk.scm
numbero-tests.scm
numbers.scm
simple-interp.scm
symbolo-numbero-tests.scm
symbolo-tests.scm copied from webyrd/faster-miniKanren Apr 11, 2018
test-all.scm comment out failing tests Apr 11, 2018
test-check.scm
test-numbers.scm
test-simple-interp.scm copied from webyrd/faster-miniKanren Apr 11, 2018

README.md

miniKanren

Canonical miniKanren implementation.

Implements the language described in the paper:

William E. Byrd, Eric Holk, and Daniel P. Friedman. miniKanren, Live and Untagged: Quine Generation via Relational Interpreters (Programming Pearl). To appear in the Proceedings of the 2012 Workshop on Scheme and Functional Programming, Copenhagen, Denmark, 2012.

CORE LANGUAGE

Logical operators:

== fresh conde

Interface operators:

run run*

EXTENDED LANGUAGE

Constraint operators:

=/= symbolo numbero absento