5.2.2 Predicates that operate on strings
AllApplicationManualNameSummaryHelp

Availability:built-in
read_string(+Stream, ?Length, -String)
Read at most Length characters from Stream and return them in the string String. If Length is unbound, Stream is read to the end and Length is unified with the number of characters read.
ClioPatria (version V3.1.1-40-g9d9e003)