use more recent Datalog (0.4.x); update meta prover to handle it;
prepare to use Logtk as a logic library