IF/Prolog ストリーム ・インタフェース

IF/Prolog ストリーム ・インタフェースにより、ファイルのような外部デバイスをアクセスしたり、より複雑なユーザー定義のプロトコルをIF/Prologから直接使うことができます。

ストリームとは、Prologの標準I/O述語を使ってトークンを読んだり書いたりできるオブジェクトです。ストリームは論理名と物理ストリームで初期化されます。論理名はストリームを識別するためにプログラムで使用するシンボルで、同一ストリームを参照する論理名を複数つけることもできます。物理ストリームとはI/O操作が実際に行われる外部デバイスです。

ストリームのクラスとはストリームの型を表すもので、例えばfileなどがあります。ストリームの型として、file、string、nullといった定義済みのストリーム・クラスのいずれか、またはユーザー定義のクラスをとることができます。このセクションでは、様々な用途に使うための新しいストリームを記述するためのC言語インタフェースの使用方法について説明します。

IF/Prologからのストリームの使用

以下にfile、string及びnullの3つの定義済みストリームを示します。...

新しいストリーム・クラスの定義

異なるまたはより複雑な媒体に対応する新しいストリーム・クラスは、Cプログラミング・インタフェースを使って直接に定義できます。新しいストリーム・クラス定義の仕方を理解するために、ここでは、既存のストリーム定義であるファイルを簡単にしたものを説明します。この例に関するソースファイルは$PROROOT/demos/stream/fileディレクトリの下にありますので参照して下さい。...

ストリームの制御

ioCNTL宣言によりストリームの制御ができます。ioCNTLは、ストリームに対して実行できる、I/O以外の操作のテーブルです。下に示すプログラムは、EOFのテストをできるようにする例です。(注意: fileEof は二つの用途に使われています。一つはここで示した簡単な制御のテストをするため、もう一つはPrologのI/O述語から呼び出され、EOFを検出するためです。)...

File_stream定義を試す

以下に示す短いIF/Prologのプログラムは、file_streamから読み込んだデータを行末文字(UNIXではLF)ごとにトークンに分割したリストを生成します(`iffile.pro'を参照のこと)。詳しい内容はレファレンスマニュアルのR-77ページにあるget_until/3述語の項を参照して下さい。:...

定義済みのCストリーム・ルーチン

IF/Prologとのより強力なインタフェースを提供するために、Cから使用できるストリーム手続きがいくつか用意されています。...

さらに複雑なユーザ定義のストリーム

これまで述べてきた例は、CファイルのI/O手続きとして定義済みのI/O操作のみを使ったとても簡単な例でした。さらに複雑な例として、UNIXベースの字句解析プログラムであるlexとのインタフェースのための新しいストリーム・クラスを定義するプログラムが、ディレクトリ$PROROOT/demos/stream/lexにあります。...