11.3.175 read_line/[0,1]

Synopsis

read_line(-Line)

read_line(+Stream, -Line)

Reads one line of input from Stream, and unifies the codes with Line. On end of file, Line is unified with end_of_file.

Arguments

Stream

stream_object, must be ground

A valid input text stream, defaults to the current input stream.

Line

list of code or one of [end_of_file]

Exceptions

Stream errors (see ref-iou-sfh-est), plus:

existence_error

Trying to read beyond end of Stream.

See Also

at_end_of_line/[0,1], ref-iou-cin.