logic-terms as submodule
use more recent logic-terms;
big refactoring that uses logic-terms for literals and indexing;
basically that simplifies a lot datalog/logic.ml and makes datalog/index.ml useless;
datalog.ml replaces the packing stuff (just use submodules) as an interface;
use hyperresolution as an inference (still doesn t work yet)