| Copyright | (c) Jonathan von Schroeder DFKI Bremen 2012 (c) A. Tsogias DFKI Bremen 2011 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Jonathan von Schroeder <jonathan.von_schroeder@dfki.de> |
| Stability | provisional |
| Portability | portable |
| Safe Haskell | Safe |
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