Hets - the Heterogeneous Tool Set

Copyright(c) C.Maeder, DFKI Lab Bremen 2008
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

SoftFOL.ParseTPTP

Description

A parser for the TPTP Input Syntax v3.4.0.1 taken from http://www.cs.miami.edu/~tptp/TPTP/SyntaxBNF.html

Documentation

tptp :: Parser [TPTP]

singleQuoted :: Parser String

form :: Parser SPTerm

genList :: Parser [GenTerm]

genTerm :: Parser GenTerm

data GenTerm

Constructors

GenTerm GenData (Maybe GenTerm) 
GenTermList [GenTerm] 

Instances

data GenData

Constructors

GenData AWord [GenTerm] 
OtherGenData String 
GenFormData FormData 

Instances

data AWord

Constructors

AWord String 

Instances

prTPTPs :: [TPTP] -> Doc

tptpModel :: Parser [(String, SPTerm)]

ppGenTerm :: GenTerm -> Doc