| 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 |