29 lines
No EOL
653 B
Text
29 lines
No EOL
653 B
Text
(define (domain robossembler)
|
|
(:requirements :strips :typing :adl :fluents :durative-actions :typing)
|
|
|
|
;; Types ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
(:types
|
|
robot
|
|
zone
|
|
);; end Types ;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
|
|
;; Predicates ;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
(:predicates
|
|
|
|
(robot_move ?r - robot ?z - zone)
|
|
|
|
);; end Predicates ;;;;;;;;;;;;;;;;;;;;
|
|
|
|
;; Functions ;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
(:functions
|
|
|
|
);; end Functions ;;;;;;;;;;;;;;;;;;;;
|
|
|
|
;; Actions ;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
(:durative-action move
|
|
:parameters (?r - robot ?z - zone)
|
|
:duration ( = ?duration 5)
|
|
:effect (and (at end(robot_move ?r ?z)))
|
|
)
|
|
|
|
);; end Domain ;;;;;;;;;;;;;;;;;;;;;;;; |