IF/Prologシステムは、以下のいずれかの媒体で提供されています。

　　- 4mm DAT ストリ−マ 　　- QIC-150 ストリ−マ

ディレクトリには以下のファイルが含まれています(機種によって異なる場合があります)。

$PROROOT/ bin/ ifcc Cインタフェ−ス用コンパイルコマンド iflink Cインタフェ−ス用リンクコマンド ifopt0 オプティマイザ ifprolog IF/Prologの実行可能なバイナリ ifsem コンパイラに必要なコマンドファイル

ifprolog/ *.sem セミコンパイルされたシステムモジュール ifsem.pst セーブ状態のprologコンパイラ ifstate.pst セーブ状態のPrologシステム

library/ io/ Prologライブラリ用のソースファイル data/ Prologライブラリ用のソースファイル *.sem セミコンパイルされたライブラリファイル

c/ cpred.h,cpro.h Cインタフェ−スに必要なインクル−ドファイル io.h Cインタフェースに必要なストリーム用のインクルードファイル libifprolog.a Cインタフェ−スで使われるCライブラリ main.o Cインタフェ−スで使われるメインル−チン sboot.o Cインタフェース:空のセーブ状態のオブジェクト

util/ cgen/ Cインタフェ−ス自動コ−ド生成機能 emacs/ Emacsインタフェ−スのソ−スファイル gks/ GKS グラフィックインタフェ−スのソ−スファイル oracle/ Oracle RDBMS インタフェ−スのソ−スファイル sql/ SQL RDBMS インタフェ−スのソ−スファイル

demos/ benchmarks/ ベンチマ−クプログラム集 c/, cpro/ Cインタフェ−スのデモプログラム f77/ FORTRANインタフェ−スのデモプログラム pro/ IF/Prologのデモプログラム集 stream/ ストリームインタフェースのデモプログラム

man/ ifcc.1 ifcc用のマニュアル ifprolog.1 ifprolog用のマニュアル ifsem.1 ifsem用のマニュアル

x11r4/ オプション: Athena widgetsとのインタフェース motif11/ オプション: OSF/Motifとのインタフェース flex/ オプション: Flex for IF/Prolog