入力ストリームが終了位置にあるかどうかを検査する。
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 標準に含まれる。
| 冒頭へ |
|