(Changed in version 2.9.0) The p0
call-by-name arguments is evaluated at most once per constructed Parser object, instead of on every need that arises during parsing.
(Changed in version 2.10.0) stringLiteral
allows escaping single and double quotes, but not forward slashes any longer.
Parser for first order formulas in the prover 9 format. ( http://www.cs.unm.edu/~mccune/mace4/manual/2009-11A/syntax.html ) Right associative, infix operators: &, |, all, exists Infix operators: =, !=, <, >, , <=, >=, ->, <-, <-> Operator precedence (higher up in the list means binds weaker i.e. operator is closer to the root): ->, <-, <-> all, exists
, !
- Operators missing: +,*,@,/,\, /\, \/,' Unhandled cases prover9 accepts (extended as exceptions are encountered): (all 1 P(1))