Start adding a Datalog frontend.