pddl-parser 0.2.3

A Rust library for parsing PDDL files
Documentation 
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
57
58

; Test comment
; Test multiline comment

(define (domain letseat)
    (:requirements :typing)

    (:types
        location locatable - object ; comment
        bot cupcake - locatable
        robot - bot
    )

    (:predicates
        (on ?obj - locatable ?loc - location)
        (holding ?arm - locatable ?cupcake - locatable)
        (arm-empty)
        (path ?location1 - location ?location2 - location)
    )

    (:action pick-up
        :parameters (?arm - bot ?cupcake - locatable ?loc - location)
        :precondition (and
            (on ?arm ?loc)
            (on ?cupcake ?loc)
            (arm-empty)
        )
        :effect (and
            (not (on ?cupcake ?loc))
            (holding ?arm ?cupcake)
            (not (arm-empty))
        )
    )

    (:action drop
        :parameters (?arm - bot ?cupcake - locatable ?loc - location)
        :precondition (and
            (on ?arm ?loc)
            (holding ?arm ?cupcake)
        )
        :effect (and
            (on ?cupcake ?loc)
            (arm-empty)
            (not (holding ?arm ?cupcake))
        )
    )

    (:action move
        :parameters (?arm - bot ?from - location ?to - location)
        :precondition (and
            (on ?arm ?from)
            (path ?from ?to)
        )
        :effect (and
            (not (on ?arm ?from))
            (on ?arm ?to)
        )
    )
)