There is a newer version of this record available.

Software Open Access


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 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 (

The TPTP syntax specification may be accessed at
Files (43.1 kB)
Name Size
43.1 kB Download
All versions This version
Views 14437
Downloads 71
Data volume 411.7 kB43.1 kB
Unique views 10533
Unique downloads 61


Cite as