[SOLVED] CS计算机代考程序代写 (define (domain travelling)

(define (domain travelling)
(:requirements :adl )

(:types
type1
subtype1 – type2
;; Fill in additional types here
)

(:constants
;; You should not need to add any additional constants
Agent – agent
)

(:predicates
(example-predicate ?x – type1)
(example2 )

)

(:functions (f ?x – type2 ))

(:action example
:parameters (?x – type1 ?y – subtype1)
:precondition (and
(example-predicate ?x)
(>= (f ?y) 4)
)
:effect (and
(not (example-predicate ?x))
(decrease (f ?y) 3)
)
)
)