There is a newer version of this record available.

Software Open Access

scala-tptp-parser v1.4

Alexander Steen

Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="" xmlns:oai_dc="" xmlns:xsi="" xsi:schemaLocation="">
  <dc:contributor>Philip Heltweg</dc:contributor>
  <dc:creator>Alexander Steen</dc:creator>
  <dc:description>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 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, including extended TFF (TFX),
	FOF: Untyped first-order logic,
	TCF: Typed clause-normal form,
	CNF: (Untyped) clause-normal form, and
	TPI: TPTP Process Instruction language.

The parser is based on v7.4.0.3 of the TPTP syntax BNF (


Version 1.4 of the scala-tptp-parser library.


	Bumped Scala version to 2.13.6
	Support for TFX (see
	Support for TPTP non-classical format, partly experimental (see
	Fixed a few minor bugs

See the README for further information.</dc:description>
  <dc:description>The software development was supported by the Luxembourg National Research Fund (FNR) under grant CORE C20/IS/14616644.</dc:description>
  <dc:subject>automated reasoning</dc:subject>
  <dc:subject>automated theorem prover</dc:subject>
  <dc:subject>automated deduction</dc:subject>
  <dc:subject>artificial intelligence</dc:subject>
  <dc:title>scala-tptp-parser v1.4</dc:title>
All versions This version
Views 14325
Downloads 71
Data volume 411.7 kB75.5 kB
Unique views 10418
Unique downloads 61


Cite as