display/1

Synopsis

display(+Term)

Displays Term on the standard output stream .

Arguments

Term term

Description

Ignores operator declarations and shows all compound terms in standard prefix form.

Tips

display/1 is a good way of finding out how Prolog parses a term with several operators. display(Term) is equivalent to

     write_term(Term, [quoted(false),ignore_ops(true)])
     

Output is not terminated by a full-stop; therefore, if you want the term to be acceptable as input to read/[1,2], you must send the terminating full-stop to the output stream yourself. display/1 does not put quotes around atoms and functors.

Example

     | ?- display(a+b).
     +(a,b)
     yes
     

     | ?- read(X), display(X), nl.
     |: a + b * c.
     +(a,*(b,c))
     
     X = a+b*c
     
     | ?-
     

See Also

write/[1,2], write_term/[2,3]