display/1
display(
+Term)
Writes Term on the standard output stream, without quoting atoms,
without operator notation, without treating '$VAR'/1
terms specially.
Since quoting is never used, even when needed for reading the term
back in, the standard predicate write_canonical/1
is often preferable.
display(Term)
is equivalent to:
write_term(Term, [ignore_ops(true)])
| ?- display(a+b). +(a,b) yes
| ?- read(X), display(X), nl. |: a + b * c. +(a,*(b,c)) X = a+b*c | ?-
Stream errors (see ref-iou-sfh-est).