projog

3.86. write_canonical(X) - writes a term to the output stream.

Writes the term X to the current output stream. write_canonical does not take account of current operator declarations - thus any structures are printed out with the functor first and the arguments in brackets.

Succeeds only once.

Examples

?- write_canonical( 1+1 ).
+(1, 1)
yes

?- write_canonical( '+'(1,1) ).
+(1, 1)
yes