There is a newer version of this record available.

Software Open Access

scala-tptp-parser v1.4

Alexander Steen

JSON-LD ( Export

  "description": "<p><code>scala-tptp-parser</code>&nbsp;is a Scala library (for Scala 2.13.x) for parsing the input languages of the&nbsp;<a href=\"\">TPTP infrastructure</a>.</p>\n\n<p>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&nbsp;<a href=\"\"></a>&nbsp;for details. In particular, the parser supports:</p>\n\n<ul>\n\t<li>THF (TH0/TH1): Monomorphic and polymorphic higher-order logic,</li>\n\t<li>TFF (TF0/TF1): Monomorphic and polymorphic typed first-order logic, including extended TFF (TFX),</li>\n\t<li>FOF: Untyped first-order logic,</li>\n\t<li>TCF: Typed clause-normal form,</li>\n\t<li>CNF: (Untyped) clause-normal form, and</li>\n\t<li>TPI: TPTP Process Instruction language.</li>\n</ul>\n\n<p>The parser is based on v7.4.0.3 of the TPTP syntax BNF (<a href=\"\"></a>).</p>\n\n<p>&nbsp;</p>\n\n<p>Version 1.4 of the scala-tptp-parser library.</p>\n\n<p><strong>Updates:</strong></p>\n\n<ul>\n\t<li>Bumped Scala version to 2.13.6</li>\n\t<li>Support for TFX (see <a href=\"\"></a>)</li>\n\t<li>Support for TPTP non-classical format, partly experimental (see <a href=\"\"></a>)</li>\n\t<li>Fixed a few minor bugs</li>\n</ul>\n\n<p>See the README for further information.</p>", 
  "license": "", 
  "creator": [
      "affiliation": "University of Luxembourg", 
      "@id": "", 
      "@type": "Person", 
      "name": "Alexander Steen"
  "url": "", 
  "codeRepository": "", 
  "datePublished": "2021-10-19", 
  "keywords": [
    "automated reasoning", 
    "automated theorem prover", 
    "automated deduction", 
    "artificial intelligence"
  "version": "v1.4", 
  "contributor": [
      "affiliation": "Fernuniversit\u00e4t in Hagen", 
      "@type": "Person", 
      "name": "Philip Heltweg"
  "@context": "", 
  "identifier": "", 
  "@id": "", 
  "@type": "SoftwareSourceCode", 
  "name": "scala-tptp-parser v1.4"
All versions This version
Views 14325
Downloads 71
Data volume 411.7 kB75.5 kB
Unique views 10418
Unique downloads 61


Cite as