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

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

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

scroll to top