write_canonical(Stream, Term) writes the Prolog term Term into the output stream Stream using the canonical form. See write_canonical/1.