Hets - the Heterogeneous Tool Set

Copyright(c) Eugen Kuksa University of Magdeburg 2017
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerEugen Kuksa <kuksa@iks.cs.ovgu.de>
Stabilityprovisional
Portabilityportable
Safe HaskellNone

TPTP.Parser

Description

A Parser for the TPTP Input Syntax v6.4.0.11 taken from http://www.cs.miami.edu/~tptp/TPTP/SyntaxBNF.html

References

1
G. Sutcliffe et al.: The TPTP language grammar in BNF. http://www.cs.miami.edu/~tptp/TPTP/SyntaxBNF.html

Note: The implemented version is saved at TPTPDocumentsSyntaxBNF.html

Note: The names of the data types are aligned with the names of the grammar rules at this reference page (modulo case).

Documentation