Compiling and executing PDDL in picat