K-Prolog Compiler Version 6.0 
| read | 読込み |
| write | 書出しみ |
| append | 追加 |
| type(T) | T=text/binary text:文字の列からなるストリームを指定 binart:バイトの列からなるストリームを指定 |
| reposition(Bool) | Bool=true/false true:ストリームが位置指定できるものであることを指定 |
| alias(A) | A:アトムで別名を指定 |
| eof_action(Action) | Action=error/eof_code/reset ファイルの終りを越えた時の動作を指定する。 error:エラーにする eof_code:ファイル終端のコードを返す reset:通常のファイル操作を続ける |
| encoding(E) | E=ascii/eucjp/sjis/utf8 文字コードの指定 |
| force(Bool) | Bool=true/false trueならばエラーが発生しても強制的にクローズします |
| file_name(F) | F:入力元出力先がファイルならばその名前 |
| mode(M) | M:入出力モード |
| alias(A) | A:ストリームの別名 |
| position(P) | P:ストリーム位置 |
| end_of_stream(E) | E:at/past/not ストリーム位置がストリーム終端か、終端を越えたか、終端に達していないか |
| eof_action(Action) | Action:error/eof_code ストリームの終端を越えたときに実際に適用する動作 error:エラーにする eof_code:ファイル終端のコードを返す |
| reposition(Bool) | ストリームが位置決め可能かどうか |
| type(T) | T:text/binary ストリームがテキストかバイナリか |
| encoding(E) | E=ascii/eucjp/sjis/utf8 文字コードの指定 |
| variable(Vars) | Vars:読取った項の変数のリスト |
| variable_names(VN_list) | VN_list:変数名=変数の形の項のリスト |
| singletons(VN_list) | VN_list:項に一度しか現れない変数を 変数名=変数の形の項のリストで現したもの |
| quoted(Bool) | Bool=true/false trueならば読み取るときに引用符を前後に必要とするアトムや関数子名には 引用符をつけることを指示する |
| ignore_ops(Bool) | Bool=true/false trueならば複合項を書き出すとき、演算子機能やリスト表記を使わない |
| number_vars(Bool) | Bool=true/false trueならば項に出現する'＄VAR'(N)の形の項を、A,B,...,Z,A1,B1,.. のように書き出します。 |