60 lines
872 B
Plaintext
60 lines
872 B
Plaintext
(define (problem DLOG-2-2-4)
|
|
(:domain driverlog)
|
|
(:objects
|
|
driver1 - driver
|
|
driver2 - driver
|
|
truck1 - truck
|
|
truck2 - truck
|
|
package1 - obj
|
|
package2 - obj
|
|
package3 - obj
|
|
package4 - obj
|
|
s0 - location
|
|
s1 - location
|
|
s2 - location
|
|
p0-1 - location
|
|
p2-0 - location
|
|
p2-1 - location
|
|
)
|
|
(:init
|
|
(at driver1 s1)
|
|
(at driver2 s0)
|
|
(at truck1 s1)
|
|
(empty truck1)
|
|
(at truck2 s2)
|
|
(empty truck2)
|
|
(at package1 s0)
|
|
(at package2 s0)
|
|
(at package3 s1)
|
|
(at package4 s1)
|
|
(path s0 p0-1)
|
|
(path p0-1 s0)
|
|
(path s1 p0-1)
|
|
(path p0-1 s1)
|
|
(path s2 p2-0)
|
|
(path p2-0 s2)
|
|
(path s0 p2-0)
|
|
(path p2-0 s0)
|
|
(path s2 p2-1)
|
|
(path p2-1 s2)
|
|
(path s1 p2-1)
|
|
(path p2-1 s1)
|
|
(link s1 s0)
|
|
(link s0 s1)
|
|
(link s1 s2)
|
|
(link s2 s1)
|
|
(link s2 s0)
|
|
(link s0 s2)
|
|
)
|
|
(:goal (and
|
|
(at driver2 s2)
|
|
(at truck1 s1)
|
|
(at truck2 s2)
|
|
(at package1 s1)
|
|
(at package2 s1)
|
|
(at package3 s2)
|
|
))
|
|
|
|
|
|
)
|