Hets - the Heterogeneous Tool Set

Copyright(c) T.Mossakowski, C.Maeder and Uni Bremen 2006
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

CASL.Kif

Description

Parsing lists of lists with SUMO (suggested upper merged ontology) .kif files

Synopsis

Documentation

data StringKind

Constructors

Quoted 
KToken 
QWord 
AtWord 

dq :: Char

skip white spaces and comments for the lexer

skip :: CharParser st [()]

lexem :: CharParser st a -> CharParser st a

kifParse :: String -> IO ()