- read_line_to_codes(+Stream, -Line:codes) is det
- 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.