- read_line_to_string(+Stream, -String) is det
- Read the next line from Stream into String. String does not contain
the line terminator. String is unified with the atom
end_of_file
if the end of the file is reached.
- See also
- - read_string/5 can be used to read lines with separated
records without creating intermediate strings.