Published March 25, 2023
| Version v1.7.1
Software
Open
scala-tptp-parser v1.7.1
Description
scala-tptp-parser
is a Scala library (for Scala 2.13.x) for parsing the input languages of the TPTP infrastructure.
The package contains a data structure for the abstract syntax tree (AST) of the parsed input as well as the parser for the different language of the TPTP, see http://tptp.org for details. In particular, the parser supports:
- THF (TH0/TH1): Monomorphic and polymorphic higher-order logic,
- TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, including extended TFF (TFX),
- FOF: Untyped first-order logic,
- TCF: Typed clause-normal form,
- CNF: (Untyped) clause-normal form,
- TPI: TPTP Process Instruction language, and
- NXF/NHF: the new (partly experimental) non-classical TPTP languages based on TXF resp. THF.
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.
Files
leoprover/scala-tptp-parser-v1.7.1.zip
Files
(80.8 kB)
Name | Size | Download all |
---|---|---|
md5:aaf62d80a61c0bf3d20536545201fa8b
|
80.8 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/leoprover/scala-tptp-parser/tree/v1.7.1 (URL)