-
Notifications
You must be signed in to change notification settings - Fork 57
/
domain.pddl
56 lines (55 loc) · 1.58 KB
/
domain.pddl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
(define (domain mystery-strips)
(:predicates
(province ?x)
(planet ?x)
(food ?x)
(pleasure ?x)
(pain ?x)
(eats ?n1 ?n2)
(craves ?v ?n)
(fears ?c ?v)
(locale ?n ?a)
(harmony ?v ?s)
(attacks ?i ?j)
(orbits ?i ?j))
(:action overcome
:parameters (?c ?v ?n ?s1 ?s2)
:precondition (and (pain ?c)
(pleasure ?v)
(craves ?c ?n)
(craves ?v ?n)
(food ?n)
(harmony ?v ?s2)
(planet ?s2)
(orbits ?s1 ?s2)
(planet ?s1))
:effect (and (not (craves ?c ?n))
(fears ?c ?v)
(not (harmony ?v ?s2))
(harmony ?v ?s1)))
(:action feast
:parameters (?v ?n1 ?n2 ?l1 ?l2)
:precondition (and (craves ?v ?n1)
(food ?n1)
(pleasure ?v)
(eats ?n1 ?n2)
(food ?n2)
(locale ?n1 ?l2)
(attacks ?l1 ?l2))
:effect (and (not (craves ?v ?n1))
(craves ?v ?n2)
(not (locale ?n1 ?l2))
(locale ?n1 ?l1)))
(:action succumb
:parameters (?c ?v ?n ?s1 ?s2)
:precondition (and (fears ?c ?v)
(pain ?c)
(pleasure ?v)
(craves ?v ?n)
(food ?n)
(harmony ?v ?s1)
(orbits ?s1 ?s2))
:effect (and (not (fears ?c ?v))
(craves ?c ?n)
(not (harmony ?v ?s1))
(harmony ?v ?s2))))