Skip to content

Instantly share code, notes, and snippets.

@gamesbyangelina

gamesbyangelina/wk8-tube-domain.pddl

Last active November 14, 2024 14:27
Show Gist options
  • Save gamesbyangelina/f75ca3d02407e943bcf1f35c4a9b6434 to your computer and use it in GitHub Desktop.
Save gamesbyangelina/f75ca3d02407e943bcf1f35c4a9b6434 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
wk8-tube-domain.pddl
(define (domain tutorialwk8tube)
(:types station person - object)
(:predicates
(at ?p - person ?x - station)
(connected ?x ?y - station)
)
(:action travel
; :parameters ???
:precondition (and (at ?p ?x) (connected ?x ?y))
; :effect ???
)
)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment