There is a newer version of the record available.

Published January 26, 2021 | Version v1.2
Software Open

scala-tptp-parser

Creators

  • 1. University of Luxembourg

Description

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 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,
  • 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 (http://tptp.org/TPTP/SyntaxBNF.html).

Notes

The TPTP syntax specification may be accessed at http://tptp.org/TPTP/SyntaxBNF.html.

Files

leoprover/scala-tptp-parser-v1.2.zip

Files (43.1 kB)

Name Size Download all
md5:148f31fc27417816d38ad62e73283a01
43.1 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/leoprover/scala-tptp-parser/tree/v1.2 (URL)