PDDL-demo