pddl-semantics-in-prolog