Output Option for write_term/2,3 |
Format char for printf %..w |
Meaning |
as(term) |
|
do not assume any particular meaning of the printed term |
as(clause) |
C |
print the term as a clause (apply clause transformations) |
as(goal) |
G |
print the term as a goal (apply goal transformations) |
attributes(none) |
|
do not print any variable attributes |
attributes(pretty) |
m |
print attributes using the corresponding print handlers |
attributes(full) |
M |
print the full contents of all variable attributes |
compact(false) |
|
print extra blank space (around operators, after commas, etc.) for better readability |
compact(true) |
K |
don't print blank space unless necessary |
depth(Max) |
<Max> |
print the term only up to a maximum nesting depth of Max (a positive integer) |
depth(0) |
|
observe the stream-specific or global flag 'print_depth' |
depth(full) |
D |
print the whole term (may loop when the term is cyclic!) |
dotlists(false) |
|
write lists in square bracket notation, e.g. [a,b] |
dotlists(true) |
. |
write lists as terms with functor ./2 |
newlines(false) |
|
print newlines inside quotes as escape sequence \n |
newlines(true) |
N |
print newlines as line breaks even inside quotes |
numbervars(false) |
|
do not treat '$VAR'/1 terms specially |
numbervars(true) |
I |
print terms of the form '$VAR'(N) as named variables:
'$VAR'(0) is printed as A, '$VAR'(25) as Z, '$VAR'(26) as A1 and so on.
When the argument is an atom or a string, just this argument is printed. |
operators(true) |
|
obey operator declarations and print prefix/infix/postfix |
operators(false) |
O |
ignore operator declarations and print functor notation |
portrayed(false) |
|
do not use portray/1,2 |
portrayed(true) |
P |
call the user-defined predicate portray/1,2 for printing |
quoted(false) |
|
do not print quotes around strings or atoms |
quoted(true) |
Q |
quote strings and atoms if necessary |
transform(true) |
|
apply portray transformations (write macros) |
transform(false) |
T |
do not apply portray transformations (write macros). |
variables(default) |
|
print variables using their source name (if available) |
variables(raw) |
v |
print variables using a system-generated name, e.g. _123 |
variables(full) |
V |
print variables using source name followed by a number, e.g. Alpha_132 |
variables(anonymous) |
_ |
print every variable as a simple underscore |