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. Note that
characters must be read as Unicode code points,
not bytes.