display/1
display(
+Term)
Writes Term on the standard output stream, without quoting atoms,
without operator notation, without treating '$VAR'/1
terms specially.
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).