Hi, I have finally upgraded this library to a newer minikanren, after having used the original minikanren (book-si.scm) for many years.
Here is a list of changes from the pull request. 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/ This version is hosted at https://github.com/kourzanov/bkanren Kind regards, Peter
