Open peschue opened 11 years ago
The parser fails when parsing builtin-atoms which compare non-integer ground terms to each other, e.g. in the constraint :- a == 2.
The parser fails when parsing builtin-atoms which compare non-integer ground terms to each other, e.g. in the constraint :- a == 2.