There is a newer version of this record available.

Software Open Access

scala-tptp-parser v1.4

Alexander Steen

Other(s)
Philip Heltweg

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:

See the README for further information.

The software development was supported by the Luxembourg National Research Fund (FNR) under grant CORE C20/IS/14616644.
Files (75.5 kB)
Name Size
leoprover/scala-tptp-parser-v1.4.zip
md5:dae6ba014d6fd8ebe935afaa7113e32f
75.5 kB Download
144
7
views
downloads
All versions This version
Views 14425
Downloads 71
Data volume 411.7 kB75.5 kB
Unique views 10518
Unique downloads 61

Share

Cite as