UNIXにおけるIF/Prolog

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

UNIXにIF/Prologをインストールする。(UNIX上でのユーザの方のみお読み下さい。)

IF/Prologはどのディレクトリにもインストールできますが、正しく作動するためには2つのUNIX環境変数(PROROOTとPATH)を設定する必要があります。PROROOTはPrologのディレクトリを表します。PATHには$PROROOT/binが含まれていなければなりません。この2つのUNIX環境変数の設定とIF/Prologのテープの中身を$PROROOTに読み込むことによってインストールは終了します。...

ベンチマークテストの実行

IF/Prologには、単純なベンチマークテスト(naive list reverse)が含まれています。以下の例では、Lは論理推論の中で実行スピード(秒)で返します。...