Author(s): The CLIP Group.
Version: 1.10#7 (2006/4/26, 19:22:13 CEST)
Version of last change: 1.9#248 (2003/12/30, 21:52:0 CET)
This library module writes out to standard output a clause or a list of clauses.
pretty_print
)pretty_print
)
Usage: pretty_print(Cls, Flags)
Cls
after numbering its variables.
pretty_print:clauses(Cls)
(pretty_print:clauses/1
)
Flags
is a list of flag
s.
(basic_props:list/2
)
Usage: pretty_print(Cls, Flags, Ds)
Cls
after using the corresponding variable names dictionary in Ds
to name its variables.
pretty_print:clauses(Cls)
(pretty_print:clauses/1
)
Flags
is a list of flag
s.
(basic_props:list/2
)
Ds
is a dictionary of variable names.
(vndict:varnamedict/1
)
pretty_print
)A regular type, defined as follows:
clauses([]). clauses([_1|_2]) :- clause(_1), clauses(_2). clauses(_1) :- clause(_1).
A regular type, defined as follows:
clause(_1) :- clterm(_1). clause((_1,_2)) :- clterm(_1), term(_2).
A regular type, defined as follows:
clterm(clause(_1,_2)) :- callable(_1), body(_2). clterm(directive(_1)) :- body(_1). clterm((_1:-_2)) :- callable(_1), body(_2). clterm(_1) :- callable(_1).
A well formed body, including cge expressions and &-concurrent expressions. The atomic goals may or may not have a key in the form ^(goal:any)
, and may or may not be module qualified, but if they are it has to be in the form ^(^(moddesc:goal):any)
.
Usage: body(X)
X
is a printable body.
A keyword ask/1
flags whether to output asks or whens and nl/1
whether to separate clauses with a blank line or not.
Usage: flag(X)
X
is a flag for the pretty-printer.
Go to the first, previous, next, last section, table of contents.