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

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

parseTHF :: CharParser st [TPTP_THF] Source #