Hets - the Heterogeneous Tool Set

Copyright(c) Soeren Schulze, Uni Bremen 2012
LicenseGPLv2 or higher, see LICENSE.txt
Maintainers.schulze@uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred

CommonLogic.Print_KIF

Description

Pretty Printer for KIF. Partially based on "pretty" instances in AS_CommonLogic. Note that the output does not perfectly match the input, as CommonLogic does not have the concept of "free variables" (as opposed to variables bound by a quantifier). Thus, any free variables are converted into constants and lose their ? prefix. When CommonLogic code is emitted as KIF, the comments in commented sentences and terms get lost, and modules are inlined.

Documentation

printBasicSpec :: BASIC_SPEC -> Doc

printBasicItems :: BASIC_ITEMS -> Doc

printTextMeta :: TEXT_META -> Doc

exportKIF :: [Named TEXT_META] -> Doc

printText :: TEXT -> Doc

printPhrase :: PHRASE -> Doc

printQuant :: QUANT -> Doc

printAndOr :: AndOr -> Doc

printImplEq :: ImplEq -> Doc

getQuantVarName :: NAME_OR_SEQMARK -> String

printSentence :: Set String -> SENTENCE -> Doc

printBoolSent :: Set String -> BOOL_SENT -> Doc

printAtom :: Set String -> ATOM -> Doc

stripVar :: String -> String

printName :: Set String -> NAME -> Doc

printRowVar :: Token -> Doc

printTerm :: Set String -> TERM -> Doc

printTermSeq :: Set String -> TERM_SEQ -> Doc

printNameOrSeqMark :: Set String -> NAME_OR_SEQMARK -> Doc