A relatively simple Datalog engine