Fixing parsing bug and adding test

potassco · Dec 8, 2023 · 1edc8ed · 1edc8ed
1 parent cb25ed4
commit 1edc8ed
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 1 deletion.
diff --git a/src/parsing/asp/grammar.pest b/src/parsing/asp/grammar.pest
@@ -40,7 +40,7 @@ relation = _{ equal | not_equal | less_equal | less | greater_equal | greater }
 
 comparison = { term ~ relation ~ term }
 
-atomic_formula = { literal | comparison }
+atomic_formula = { comparison | literal }
 
 head = { basic_head | choice_head | falsity }
     basic_head = { atom }

diff --git a/src/parsing/asp/pest.rs b/src/parsing/asp/pest.rs
@@ -969,6 +969,22 @@ mod tests {
                         },
                     },
                 ),
+                (
+                    "p :- a != b.",
+                    Rule {
+                        head: Head::Basic(Atom {
+                            predicate: "p".into(),
+                            terms: vec![],
+                        }),
+                        body: Body {
+                            formulas: vec![AtomicFormula::Comparison(Comparison {
+                                lhs: Term::PrecomputedTerm(PrecomputedTerm::Symbol("a".into())),
+                                rhs: Term::PrecomputedTerm(PrecomputedTerm::Symbol("b".into())),
+                                relation: Relation::NotEqual,
+                            })],
+                        },
+                    },
+                ),
                 (
                     "a :-.",
                     Rule {