display/1display(+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).