;;(defdomain nome_dominio
;;  (
;;
;;    (:operator (!nome_operatore ?parametri ... )
;;               ( qui vanno le precondizioni)
;;               ( qui va la delete list )
;;               ( qui va la add list )
;;    )
;;
;;    (:method (nome_metodo ?parametri ... )
;;    
;;    	     ;; tail 1
;;             ( qui vanno le precondizioni 1 )
;;             ( scomposizione 1 )
;;
;;             ;; tail 2
;;             ( precondizioni 2 )
;;             ( scomposizione )
;;    )
;;  )
;;)