11.3.253 write_canonical/[1,2]   ISO

Synopsis

write_canonical(+Stream, +Term)

write_canonical(+Term)

Writes Term on Stream, quoting atoms, in functional notation, without treating '$VAR'/1 terms specially.

Arguments

Stream

stream_object, must be ground

A valid open Prolog stream, defaults to the current output stream.

Term

term

Description

This predicate is provided so that Term, if written to a file, can be read back by read/[1,2] regardless of special characters in Term or prevailing operator declarations.

write_canonical(Term) is equivalent to:

write_term(Term, [quoted(true),ignore_ops(true),quoted_charset(portable)])

Exceptions

Stream errors (see ref-iou-sfh-est).

Examples

To contrast write/[1,2], writeq/[1,2] and write_canonical/[1,2]:

| ?- write({'A' + '$VAR'(0) + [a]}).

{A+A+[a]}

| ?- writeq({'A' + '$VAR'(0) + [a]}).

{'A'+A+[a]}

| ?- write_canonical({'A' + '$VAR'(0) + [a]}).

{}(+(+('A','$VAR'(0)),.(a,[])))

See Also

ref-iou-tou.