11.3.179 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.


Send feedback on this subject.