pddl-ish-parser 0.0.4

A Rust library for parsing a relaxed version of the Planning Domain Definition Language (PDDL), designed to handle PDDL-like inputs generated by autoregressive language models like ChatGPT.
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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129

#[cfg(test)]
mod tests {
    use pddl_ish_parser::parser::{object::{Object, parse_objects}, problem_parser::{parse_problem_domain}};

    use super::*;

    #[test]
    fn test_parse_objects() {
        let input = "(:objects
            website-url - url
            all-hyperlinks - links
            ai-news-links - links
        )";
        let expected = vec![
            Object {
                name: "website-url".to_string(),
                object_type: "url".to_string(),
            },
            Object {
                name: "all-hyperlinks".to_string(),
                object_type: "links".to_string(),
            },
            Object {
                name: "ai-news-links".to_string(),
                object_type: "links".to_string(),
            },
        ];
        let result = parse_objects(input).unwrap().1;
        assert_eq!(result, expected);
    }

    #[test]
    fn test_parse_domain() {
        let input = "    (:domain web-processing)\n    (:objects ...";
        let expected = "web-processing".to_string();
        let (_, domain) = parse_problem_domain(input).unwrap();
        assert_eq!(domain, expected);
    }

    #[test]
    fn test_parse_objects_various_styles() {
        let inputs = [
            r#"(:objects
                website-url - url
                all-hyperlinks - links
                ai-news-links - links
            )"#,
            r#"(:objects
                website-url - url
                all-hyperlinks - links
                ai-news-links - links)"#,
        ];

        let expected = vec![
            "website-url - url".to_string(),
            "all-hyperlinks - links".to_string(),
            "ai-news-links - links".to_string(),
        ];

        for input in &inputs {
            let result = parse_objects(input);
            match result {
                Ok((remaining_input, objects)) => {
                    // assert_eq!(objects, expected);
                    assert_eq!(remaining_input, "");
                }
                Err(e) => {
                    panic!("Error parsing objects: {:?}", e);
                }
            }
        }
    }

    #[test]
    fn test_parse_objects_complex() {
        let input = r#"(:objects
        website-url - url
        all-hyperlinks - links
        ai-news-links - links
    )

    (:init
        (website-known website-url)
    )

    (:goal
        (and
            (all-links-extracted website-url all-hyperlinks)
            (relevant-links-found all-hyperlinks ai-news-links)
        )
    )

    (:action extract-html
        :parameters (?url - url)
        :precondition (website-known ?url)
        :effect (html-content-available ?url)
    )

    (:action extract-links
        :parameters (?url - url)
        :precondition (html-content-available ?url)
        :effect (all-links-extracted ?url all-hyperlinks)
    )

    (:action summarize-and-filter-links
        :parameters (?links - links)
        :precondition (all-links-extracted website-url ?links)
        :effect (relevant-links-found ?links ai-news-links)
    )"#;

        let expected = vec![
            "website-url - url".to_string(),
            "all-hyperlinks - links".to_string(),
            "ai-news-links - links".to_string(),
        ];

        let result = parse_objects(input);
        match result {
            Ok((remaining_input, objects)) => {
                // assert_eq!(objects, expected);
                // assert remaining_input is as expected
            }
            Err(e) => {
                panic!("Error parsing objects: {:?}", e);
            }
        }
    }

}