Hets - the Heterogeneous Tool Set
Copyright(c) Karl Luc DFKI Bremen 2010 Eugen Kuksa and Uni Bremen 2011 Soeren Schulze 2012
LicenseGPLv2 or higher, see LICENSE.txt
Maintainers.schulze@uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

CommonLogic.Parse_KIF

Description

 

Documentation

boolop_nary :: [(String, [SENTENCE] -> BOOL_SENT, String)] Source #

boolop_binary :: [(String, SENTENCE -> SENTENCE -> BOOL_SENT, String)] Source #

boolop_quant :: [(String, QUANT, String)] Source #

parse_keys :: [(String, op_t, String)] -> CharParser st (Token, op_t, String) Source #

logsent :: CharParser st SENTENCE Source #

plainAtom :: CharParser st ATOM Source #

atomsent :: CharParser st ATOM -> CharParser st SENTENCE Source #

plainsent :: CharParser st SENTENCE Source #

parensent :: CharParser st SENTENCE Source #

funterm :: CharParser st TERM Source #

relsent :: CharParser st SENTENCE Source #

neqS :: String Source #

eq_ops :: [(String, SENTENCE -> Range -> SENTENCE, String)] Source #

eqsent :: CharParser st SENTENCE Source #

term :: CharParser st TERM Source #

sentence :: CharParser st SENTENCE Source #

topLevelSentence :: CharParser st SENTENCE Source #

basicSpec :: PrefixMap -> AParser st BASIC_SPEC Source #