;; commentaire (define (domain domaineRobot) (:constants Porte) (:predicates (positionRobot ?p)) (:action allerALaPorte :effect (positionRobot Porte)))