[det]read_line_to_codes(+Stream,
-Line:codes)Read the next line of input from Stream. Unify content of the
lines as a list of character codes with Line after 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.