update of Datalog.DB with a new interface.
Most of the code is still stubs, but should allow for cheaply forking subprovers. The interface is cleaner, without
handlers any more, but with list of results.