Published October 19, 2021
| Version v1.4
Software
Open
scala-tptp-parser v1.4
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, and
- TPI: TPTP Process Instruction language.
The parser is based on v7.4.0.3 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html).
Version 1.4 of the scala-tptp-parser library.
Updates:
- Bumped Scala version to 2.13.6
- Support for TFX (see http://tptp.org/TPTP/Proposals/TFXTHX.html)
- Support for TPTP non-classical format, partly experimental (see http://tptp.org/NonClassicalLogic/)
- Fixed a few minor bugs
See the README for further information.
Notes
Files
leoprover/scala-tptp-parser-v1.4.zip
Files
(75.5 kB)
Name | Size | Download all |
---|---|---|
md5:dae6ba014d6fd8ebe935afaa7113e32f
|
75.5 kB | Preview Download |