| writes a term to a stream ignoring operator definitions.
write_canonical(+Term)
write_canonical(+Stream, +Term)
write_canonical/1 writes a single term (Term) to the
current outputstream.
write_canonical/2 writes a single term (Term) to the given
stream(Stream).
write_canonical/1/2 quotes atoms or functor names and
ignores operator definitions. The predicate
corresponds to write_term with the option list [quoted(true),
numbervars(false),ignore_ops(true)].
Arguments
Stream text output stream
Term term
Examples
?- write_canonical(a+b*c).
+(a,*(b,c))
Standard
These predicates are part of the ISO-Prolog Standard.
See also
current_op/3,
op/3,
print/1/2,
println/1/2,
read/1/2,
read_term/2/3,
write/1/2,
write_term/2/3,
writeq/2.
|
