Contents
Index
Pretty.Prolog
Synopsis
prettyProlog
::
Module
Predicate
Clause
-> [String]
pretty'
:: (
Predicate
, [
Clause
]) -> String
ppPred
::
Predicate
-> Doc
ppClause
::
Clause
-> Doc
ppAtom
::
Atom
-> Doc
ppTerm
::
Term
-> Doc
ppVar
::
Var
-> Doc
ppConst
::
Const
-> Doc
ppStruct
::
Term
-> Doc
Produced by
Haddock
version 0.6