write_to_chars/4

write_to_chars(+ Term, - Result0, - Result)*

Execute the built-in procedure write//11 with argument Term outputting the result to the difference list of character codes Result-Result0.