Software Open Access
scala-tptp-parser
Alexander Steen
scala-tptp-parser is a library 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,
- FOF: Untyped first-order logic,
- CNF: (Untyped) clause-normal form, and
- TPI: TPTP Process Instruction language.
Currently, parsing of TFX (FOOL) and TCF (typed CNF) is not supported. Apart from that, the parser should cover every other language. The parser is based on v7.4.0.3 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html).
Release notes of Version 1.3 of the Scala TPTP parser library:
Updates:
- Bumped Scala version to 2.13.5
- Fixed two errors when parsing numbers
- When parsing floats of the form X.Y, the parser automatically added E1 (instead of exponent 0).
- Usage of BigInts for arbitrary precision integers/arithmetic. Before, really big numbers overflowed (or underflowed).
- First (planned) release on Sonatype
See the README for further information.
The TPTP syntax specification may be accessed at http://tptp.org/TPTP/SyntaxBNF.html.
Files
(45.4 kB)
| Name | Size | |
|---|---|---|
|
leoprover/scala-tptp-parser-v1.3.zip
md5:95c973bc16c73bbd83561b28e7a8ff12 |
45.4 kB | Download |
143
7
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 143 | 44 |
| Downloads | 7 | 3 |
| Data volume | 411.7 kB | 136.2 kB |
| Unique views | 104 | 36 |
| Unique downloads | 6 | 3 |
Available in
Indexed in
Indexed in
- Publication date:
- April 8, 2021
- DOI:
-
- Keyword(s):
- TPTP automated reasoning higher-order logic computational logic logic reasoning automated deduction artificial intelligence
- Related identifiers:
- Supplement to
- License (for files):
- Other (Open)