Writes Term on the standard output stream, without quoting atoms,
in functional 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:
| ?- 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).