charsio:with_output_to

with_output_to_chars(:Goal, -Stream, -Codes, ?Tail) is det: Same as with_output_to_chars/3 using an explicit stream. The difference list Codes\Tail contains the character codes that Goal has written to Stream.