at_end_of_stream/0 — test for end of the curent input stream
at_end_of_stream/1 — test for end of a specific input stream
at_end_of_stream/0 will succeed when the stream position associated with the current input stream is located at or past the end of stream.
at_end_of_stream/1 will succeed when the stream position associated with
Stream_or_Alias is located at or past the end of stream.
Stream_or_Alias is a variable.
Stream_or_Alias is neither a variable nor a stream descriptor nor an alias
Stream_or_Alias is not associated with an open stream
at_end_of_stream may cause an input operation to take place. Thus a call to this predicate could block.