Parser to interpret Datalog code.