A.5 library(charsio): I/O on Lists of Character Codes
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(charsio)).(can be autoloaded)
Source[det]with_output_to_chars(:Goal, -Stream, -Codes, ?Tail)
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.
ClioPatria (version V3.1.1-51-ga0b30a5)