Availability:built-in
[ISO]at_end_of_stream(+Stream)Succeeds after the last character of the named stream is read, or
Stream is not a valid input stream. The end-of-stream test is
only available on buffered input streams (unbuffered input streams are
rarely used; see open/4).