This predicate tests whether the current input stream has stream position end-of-stream or past-end-of-stream. If the current iput stream has properties end_of_stream(at) or end_of_stream(past) then this predicate succeeds with empty local substitution else it fails.
see also: at_end_of_stream/1 close/1 close/2 close_user_streams/0 current_input/1 current_output/1 flush_output/0 flush_output/1 open/3 open/4 prolog I/O set_input/1 set_output/1 set_stream_position/2 set_stream_property/2 stream_property/2
| Example | |
| at_end_of_stream. | succeeds if the current input stream was completely scanned |