Version 1.7.3

Version 1.7.3 of the scala-tptp-parser library.

Updates:

• Partly revert changes from last version, which introduced a breaking change with too many downstream consequences.
• Origin information is now stored in a general meta field that is not party of the AnnotatedFormula case class constructor.

See the README for further information.

Version 1.7.2

Version 1.7.2 of the scala-tptp-parser library.

Updates:

• The AST now includes line numbers/offsets where the formula came from (if parsed from a file).

See the README for further information.

Version 1.7.1

Version 1.7.1 of the scala-tptp-parser library.

Updates:

• Allow any TFF terms on the left side of a meta equality (==).

See the README for further information.

Version 1.7.0

Version 1.7.0 of the scala-tptp-parser library.

Updates:

• Rework non-classical formulas in TFF and THF, so that both languages now have their dedicated case class for non-classical formulas, called NonclassicalPolyaryFormula. This breaks a few things from previous versions (new formula structure for NCL formulas).
• Also, the NCL short-form connectives [.] and <.> are now unary connectives (and can be used as such). The long-form connectives {name} still require an explicit application with @.

See the README for further information.

Version 1.6.5

Version 1.6.5 of the scala-tptp-parser library.

Updates:

• Fix usage of single quotes atomic words that start with dollar signs: Single quotes are now retained in the name if it is not a TPTP lower word. As a result functor $true can be distinguished from '$true'.

See the README for further information.

Version 1.6.4

Version 1.6.4 of the scala-tptp-parser library.

Updates:

• Fix TFF NCL pretty printing: Include introduced @ signs introduced by 1.6.3.

See the README for further information.

Version 1.6.3

Version 1.6.3 of the scala-tptp-parser library.

Updates:

• Introduced @ sign for first-order NCL application (according to PAAR paper)
• Fixed pretty printing for NCL connectives with arguments.

See the README for further information.

Version 1.6.2

Version 1.6.2 of the scala-tptp-parser library.

Minor update:

• Removed unnecessary parentheses in TFF MetaIdentity output to allow for successful re-parsing.

See the README for further information.

Version 1.6.1

Version 1.6.1 of the scala-tptp-parser library.

Minor update:

• Support applied form of $ite conditionals in THF (e.g., $ite @ c @ a @ b). Functional style ($ite(c,a,b)) is still supported.

See the README for further information.

Version 1.6

Version 1.6 of the scala-tptp-parser library.

Updates:

• Support for parsing sequents
• Some bugfixes

See the README for further information.