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

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

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 #