Datalog fixes