Hets - the Heterogeneous Tool Set
Copyright(c) Soeren Schulze Uni Bremen 2012
LicenseGPLv2 or higher, see LICENSE.txt
Safe HaskellSafe



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.


printSentence :: Set String -> SENTENCE -> Doc Source #

printBoolSent :: Set String -> BOOL_SENT -> Doc Source #

printAtom :: Set String -> ATOM -> Doc Source #

stripVar :: String -> String Source #

printName :: Set String -> NAME -> Doc Source #

printTerm :: Set String -> TERM -> Doc Source #

printTermSeq :: Set String -> TERM_SEQ -> Doc Source #