October 19, 2021 Software Open Access

Alexander Steen

Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.5578872", 
  "title": "scala-tptp-parser v1.4", 
  "issued": {
    "date-parts": [
      [
        2021, 
        10, 
        19
      ]
    ]
  }, 
  "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=\"http://tptp.org/\">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=\"http://tptp.org/\">http://tptp.org</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=\"http://tptp.org/TPTP/SyntaxBNF.html\">http://tptp.org/TPTP/SyntaxBNF.html</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=\"http://tptp.org/TPTP/Proposals/TFXTHX.html\">http://tptp.org/TPTP/Proposals/TFXTHX.html</a>)</li>\n\t<li>Support for TPTP non-classical format, partly experimental (see <a href=\"http://tptp.org/NonClassicalLogic/\">http://tptp.org/NonClassicalLogic/</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"
}