Software Open Access
scala-tptp-parser is a Scala library (for Scala 2.13.x) 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:
The parser is based on v220.127.116.11 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html).
Version 1.4 of the scala-tptp-parser library.
See the README for further information.