Stream can be a logical stream name or a physical stream number.
Success: at_eof(null). [eclipse]: open(file1,write,s), at_eof(s), > write(hello,s), at(s,5), at_eof(s), close(s). yes. Fail: [eclipse]: open(file1,write,s),write(hello,s), close(s), > open(file1,read,s), at_eof(s), close(s). no. Error: at_eof(X). (Error 4). at_eof("s"). (Error 5). at_eof(input). (Error 192). at_eof(output). (Error 192). at_eof(error). (Error 192). at_eof(debug_input). (Error 192).