Hets - the Heterogeneous Tool Set

Copyright(c) Jonathan von Schroeder, DFKI Bremen 2012 (c) A. Tsogias, DFKI Bremen 2011
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerJonathan von Schroeder <jonathan.von_schroeder@dfki.de>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

THF.ParseTHF

Description

A Parser for the TPTP-THF Input Syntax v5.4.0.0 taken from http://www.cs.miami.edu/~tptp/TPTP/SyntaxBNF.html and THF0 Syntax taken from http://www.ags.uni-sb.de/~chris/papers/C25.pdf P. 15-16

Note: The parser prefers a THF0 parse tree over a THF parse tree Note: We pretend as if tuples were still part of the syntax

Documentation