Design the interface of the Datalog compiler.