K-Prolog Compiler Version 6.0 
ここでは、ストリーム関係の組込み述語の定義を記述します。
本節で定義する組込み述語は規格適合ですが、
ファイル操作で定義するものは
規格にはない組込み述語であることにご注意ください。
| open(@Source_sink,@Io_mode,-Stream,@Stream_options) |
| open(@Source_sink,@Io_mode,-Stream) |
入力元出力先を入出力モード、ストリーム機能選択にしたがってオープンし Streamを入力元と関連するストリーム項に具体化します。
エラー
| instantiation_error | |
| type_error | |
| domain_error | |
| existence_error(source_sink,Source_sink) | Source_sinkにより指定される入力元出力先が存在しない |
| permission_error(open,source_sink,Source_sink) | Source_sinkにより指定される入力元出力先がオープンできない |
| permission_error(open,source_sink,alias(A)) | Optionsリストにalias(A)として指定した別名が既に使われている |
| permission_error(open,source_sink,reposition(true)) | 位置指定できないストリームに対してOptionsリストにreposition(true) を指定した |
| close(@Stream_or_alias,@Close_options) |
| close(@Stream_or_alias) |
Stream_or_aliasに関連付けられたストリームをクローズします。
Stream_or_aliasが現入力ストリームであったならば現入力ストリームを
標準入力ストリームにし、現出力ストリームであったならば現出力ストリームを
標準出力ストリームにします。
エラー
| instantiation_error | |
| type_error | |
| domain_error | |
| existence_error(stream,Stream_or_alias) | Stream_or_aliasがオープン中のストリームに関連付けられていません |
| flush_output(@Stream_or_alias) |
| flush_output |
Stream_or_aliasに関連付けられた出力ストリームへの 全てのバッファされている出力をストリームに送ります
エラー
| instantiation_error | |
| type_error | |
| domain_error | |
| existence_error(stream,Stream_or_alias) | Stream_or_aliasがオープン中のストリームに関連付けられていません |
| permission_error(output,stream,Stream_or_alias) | Stream_or_aliasは入力ストリームです |
| current_input(-Stream) |
| Stream | ストリーム項 |
現在のファイル入力に関連するストリーム項Streamを得ます。
| current_output(-Stream) |
| Stream | ストリーム項 |
現在のファイル出力に関連するストリーム項Streamを得ます。
| set_input(+Stream) |
| Stream | ストリーム項 |
| set_output(+Stream) |
| Stream | ストリーム項 |