CS计算机代考程序代写 (define (problem travelling-21)

(define (problem travelling-21)
(:domain travelling)
(:objects
Agent – agent
x – type1
y z – subtype1
)

(:init
(example2 )
(example-predicate x)

(= (f y) 10)
(= (f z) 5)
)

(:goal (and
(not (example-predicate x))

)
)
)