A small Datalog parser & compiler