| 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.
| at_end_of_stream(input_stream). |
Succeeds. |
Standard
These predicates are part of the ISO-Prolog Standard.
See also
close/1/2,
current_error/1,
current_input/1,
current_output/1,
flush_output/0/1,
open/3/4,
set_error/1,
set_input/1,
set_output/1.
|
