Continue working on the Datalog compiler.