prolog::with_output_to_chars/4

with_output_to_chars(? Goal, ? 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.

Private-func:

1. prolog::with_output_to_chars_4::with_output_to_chars/4(int ARG1, int ARG2, int ARG3, int ARG4)():