/usr/lib/swipl/library/readutil.pl
All Application Manual Name SummaryHelp

 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.
ClioPatria (version V3.1.1-51-ga0b30a5)