add PDDL per issue #2