現在出力ストリームに溜っている情報をフラッシュする。

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標準に含まれる。

関連

戻る 続く..