Re: minikanren for Bigloo

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