| 現在出力ストリームに溜っている情報をフラッシュする。
flush_output
flush_output(+ストリーム)
flush_output は、現在出力ストリームに溜っている情報をフラッシュする。
flush_output(ストリーム) は、出力ストリームストリームに溜っている情報をフラッシュする。
引数
ストリーム 出力ストリーム
例
loop :-
repeat,
write(user_output, '?- '), flush_output(user_output),
read(user_input, Term),
( Term == end_of_file ; call(Term), fail ),
!.
標準
これらの述語は、ISO-Prolog標準に含まれる。
関連
at_end_of_stream/0/1,
close/1/2,
current_error/1,
current_input/1,
current_output/1,
open/3/4,
set_error/1,
set_input/1,
set_output/1.
|
