Read the next line of input from Stream and unify the result
Codesafter the line has been read. A line is ended
by a newline character or end-of-file. Unlike read_line_to_codes/3,
this predicate removes a trailing newline character.
On end-of-file the atom end_of_file is returned. See
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in