| 入力ストリームが終了位置にあるかどうかを検査する。
at_end_of_stream
at_end_of_stream(+ストリーム)
at_end_of_streamは、現在入力ストリームが終了位置にあれば、成功する。at_end_of_stream(ストリーム)は、ストリーム が終了位置にあれば、成功する。
成功するために、ストリーム は、オープンストリームと関連づけられていなければならず、end_of_stream(at) あるいは、end_of_stream(past)の特性をもたなければならない。
引数
ストリーム 入力ストリーム
例
'input_stream' は、完全に読取られた入力ストリームとする。
| at_end_of_stream(input_stream). |
成功. |
標準
これらの述語は、ISO-Prolog 標準に含まれる。
関連
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.
|