1. (define
2.         (domain swiat-paczek)
3.         (:requirements
4.             :adl
5.         )
6.    
7.         (:predicates
8.             (na-gorze ?x ?y)
9.             (na-ziemii ?x)
10.                     (czysta ?x)
11.                     (podniesiona ?x)
12.         )
13.    
14.         (:action podnies-z-paczki
15.             :parameters (?x ?y)
16.             :precondition
17.             (and
18.                 (not (exists (?z) (podniesiona ?z)))
19.                 (czysta ?x)
20.                 (na-gorze ?x ?y)
21.             )
22.             :effect
23.             (and
24.                 (not (na-gorze ?x ?y))
25.                 (podniesiona ?x)
26.                 (not (czysta ?x))
27.                 (czysta ?y)
28.             )
29.         )
30.         (:action podnies-z-ziemii
31.             :parameters (?x)
32.             :precondition
33.             (and
34.                 (not (exists (?z) (podniesiona ?z)))
35.                 (na-ziemii ?x)
36.                 (not (exists (?z) (na-gorze ?z ?x)))
37.             )
38.             :effect
39.             (and
40.                 (not (na-ziemii ?x))
41.                 (podniesiona ?x)
42.                 (not (czysta ?x))
43.             )
44.         )
45.         (:action opusc-na-paczke
46.             :parameters (?y ?x)
47.             :precondition
48.             (and
49.                 (podniesiona ?x)
50.                 (czysta ?y)
51.             )
52.             :effect
53.             (and
54.                 (na-gorze ?x ?y)
55.                 (not (podniesiona ?x))
56.                 (not (czysta ?y))
57.                 (czysta ?x)
58.             )
59.         )
60.         (:action opusc-na-ziemie
61.             :parameters (?x)
62.             :precondition
63.             (and
64.                 (podniesiona ?x)
65.             )
66.             :effect
67.             (and
68.                 (na-ziemii ?x)
69.                 (not (podniesiona ?x))
70.                 (czysta ?x)
71.             )
72.         )
73. )
74.  
75. ================================================================================================
76.  
77. (define
78.     (problem p1)
79.     (:domain swiat-paczek)
80.     (:objects a b c d e f g h)
81.     (:init
82.         (na-ziemii a)
83.         (na-ziemii b)
84.         (na-ziemii c)
85.         (na-ziemii d)
86.         (na-ziemii e)
87.         (na-ziemii f)
88.         (na-ziemii g)
89.         (na-ziemii h)
90.         (czysta a)
91.         (czysta b)
92.         (czysta c)
93.         (czysta d)
94.         (czysta e)
95.         (czysta f)
96.         (czysta g)
97.         (czysta h)
98.     )
99.     (:goal
100.         (and
101.             (not (exists (?x) (and (na-ziemii ?x) (czysta ?x) )))
102.             (exists (?x) (forall (?y) ()))
103.         )
104.     )
105. )