use Datalog 0.5 now (submodule BottomUp)