Added Datalog Parser