tests whether the inputstream is positioned at the end.

at_end_of_stream
at_end_of_stream(+Stream)

at_end_of_stream succeeds if the position of the current inputstream is at the end. at_end_of_stream(Stream) succeeds if the position of Stream is at the end.

To succeed Stream must be associated with an open stream and must have the property end_of_stream(at) or end_of_stream(past).

Arguments

Stream                 input stream

Examples

'input_stream' is an input stream which has been completely scanned.

Standard

These predicates are part of the ISO-Prolog Standard.

See also

scroll to top