donaldsonjw/bkanren — pull request #1 by kourzanov (2014-10-29 09:12:56+00:00)
Title: newer minikanren (+eigen)

Import new minikanren from Sept. 18 2013 (with eigens).
Reintroduce all (conjunction), and ground?
Include number tests.
Add new constraint: stringo.
Add tabling with some tests (beta), derived from https://github.com/xrchz/miniKanren/