Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- (define
- (domain 109550-109592)
- (:requirements :adl)
- (:predicates
- (istnieje-krzak ?x)
- (posiada-line ?kto ?lina)
- (polozenie-hobbita ?kto ?x)
- (pusty-blok ?x)
- (sasiaduje-lewo ?x ?y)
- (sasiaduje-prawo ?x ?y)
- (sasiaduje-gora ?x ?y)
- )
- ; przesuń hobbita na nizszy poziom
- (:action zejdz-po-linie
- :parameters (?kto ?x ?y ?lina)
- :precondition
- (and
- (istnieje-krzak ?y)
- (posiada-line ?kto ?lina)
- (polozenie-hobbita ?kto ?y)
- (pusty-blok ?x)
- (sasiaduje-gora ?x ?y)
- )
- :effect
- (and
- (polozenie-hobbita ?kto ?x)
- (not (polozenie-hobbita ?kto ?y)
- ))
- )
- ; przesuń hobbita w prawo
- (:action przemiesc-hobbita-prawo
- :parameters (?kto ?x ?y)
- :precondition
- (and
- (pusty-blok ?x)
- (sasiaduje-prawo ?x ?y)
- (polozenie-hobbita ?kto ?y))
- :effect
- (and
- (polozenie-hobbita ?kto ?x)
- (not (polozenie-hobbita ?kto ?y))
- )
- )
- ; przesuń hobbita w lewo
- (:action przemiesc-hobbita-lewo
- :parameters (?kto ?x ?y)
- :precondition
- (and
- (pusty-blok ?x)
- (sasiaduje-lewo ?x ?y)
- (polozenie-hobbita ?kto ?y))
- :effect
- (and
- (polozenie-hobbita ?kto ?x)
- (not (polozenie-hobbita ?kto ?y))
- )
- )
- )
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement