11.3.184 read_line/[1,2]

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

codes or one of [end_of_file]

Exceptions

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

permission_error

Trying to read beyond end of Stream

See Also

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