with_output_to_chars/5¶

with_output_to_chars(:Goal, -Stream, -Codes, ?Tail) is det.%% As with_output_to_chars//22, but Stream is unified with the% temporary stream.

with_output_to_chars(? Goal, - Stream, ? Chars0, - Chars)*

Execute goal Goal such that its standard output will be sent to a memory buffer. After successful execution the contents of the memory buffer will be converted to the difference list of character codes Chars-Chars0 and Stream receives the stream corresponding to the memory buffer.