display/1 ignores operator declarations and
shows all compound terms in standard prefix form. For example, the command
| ?- display(a+b).
produces the following:
display/1 is a good way of finding out how Prolog parses a term
with several operators. Unlike
does not put quotes around atoms and functors.