There is a newer version of this record available.

Software Open Access

scala-tptp-parser v1.4

Alexander Steen

Citation Style Language JSON Export

  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.5578872", 
  "title": "scala-tptp-parser v1.4", 
  "issued": {
    "date-parts": [
  "abstract": "<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>", 
  "author": [
      "family": "Alexander Steen"
  "note": "The software development was supported by the Luxembourg National Research Fund (FNR) under grant CORE C20/IS/14616644.", 
  "version": "v1.4", 
  "type": "article", 
  "id": "5578872"
All versions This version
Views 14325
Downloads 71
Data volume 411.7 kB75.5 kB
Unique views 10418
Unique downloads 61


Cite as