VAX/VMSにIF/Prologをインストールする。

媒体は、TK50カ−トリッジ、あるいは1600 BPI磁気テ−プです。テ−プあるいはカ−トリッジは、ラベル'PROLOG'で初期化され、BACKUPで書かれています。IF/Prologでは、その実行可能なバイナリとル−チンのライブラリ関数へのアクセスに論理名prorootを使うことに注意して下さい。IF/Prologシステムをディレクトリ「proroot」に（例えば "DUA1:[ifprolog]"に）インスト−ルするには、以下の手順に従って下さい。

１）IF/Prologを格納するためのディレクトリを作成し、以下のようにしてデフォルトをこのディレクトリに変えて下さい。

$ CREATE/DIR DUA1:[ifprolog] $ SET DEF DUA1:[ifprolog]

２）IF/Prologシステムが置いてあるサブディレクトリとして「proroot」を定義して下さい。忘れずにディレクトリ名の後に'.'を付けて下さい。

$ DEFINE PROROOT DUA1:[ifprolog.]

３）以下のように、テ−プ（例えば　MTA0デバイス）からファイルの木構造を読み込んで下さい。

$ MOUNT/FOREIGN MTA0: $ BACKUP/LOG MTA0:/SEL=[ifp...] DUA1:[ifprolog...] $ DISMOUNT MTA0:

カ−トリッジテ−プの場合は、以下のようにして下さい。 （例えば MUA0デバイス）

$ MOUNT MUA0: PROLOG $ BACKUP/LOG MUA0:/SEL=[ifp...] DUA1:[ifprolog...] $ DISMOUNT MUA0:

オプション SELを忘れないようにして下さい！

バックアップ/インスト−ル・コマンドは、以下のディレクトリやファイルを作成します。

INIT.COM 便利な論理ファイル名を定義する

proroot:[bin] 実行可能なバイナリとコマンドファイル IFCC.COM Cコンパイラコマンドファイル IFLINK.COM Cインタフェースをリンクするコマンドファイル IFOPTO.EXE コンパイルコード用のオプティマイザ IFPROLOG.EXE 実行可能なIF/Prolog IFSEM.COM セミコンパイラ・コマンドファイル

proroot:[ifprolog] ランタイム・ライブラリ関数 *.SEM セミコンパイルされたシステムモジュール IFSEM.PST セーブ状態のprologコンパイラ IFSTATE.PST セーブ状態のPrologシステム

proroot:[library] IO Prologライブラリのソースファイル DATA Prologライブラリのソースファイル *.SEM セミコンパイルされたライブラリファイル

proroot:[c] Cインタフェ−スのファイル CPRED.H,CPRO.H Cインタフェ−スのヘッダファイル IO.H Prologストリームのヘッダファイル IFPROLOG.OLB C(FORTRAN)インタフェ−ス・オブジェクト・ライブラリ MAIN.OBJ C(FORTRAN)インタフェ−スのメインル−チン SBOOT.OBJ Cインタフェース:空のセーブ状態のオブジェクト

proroot:[util] IF/Prologの上級機能 CGEN Cインタフェ−スの自動コ−ド生成機能 EMACS Emacsインタフェ−スに必要なソ−スコ−ド GKS GKSインタフェ−スに必要なソ−スコ−ド ORACLE ORACLEインタフェ−スに必要なソ−スコ−ド SQL SQL リレーショナルデータベースとのインタフェ−ス に必要なソ−スコ−ド

proroot:[demo] 様々なデモプログラム BENCHMARKS LIPSベンチマ−クテスト C, CPRO Cインタフェ−スのデモプログラム PRO IF/Prologのデモプログラム

proroot:[fortran] FORTRANインタフェ−スのファィル *.FOR FORTRAN関数の例 VMSFOR.C インタフェースのファイル EXAMPLNK.COM 例題用のリンクスクリプト

４）以下のようにしてINIT.COMを実行して下さい。

$ @ INIT

この結果、以下のシンボルが定義されます。

IFP*ROLOG == "$ proroot:[bin]main.exe" IFS*EM == "@ proroot:[bin]ifsem.com" IFCC == "@ proroot:[bin]ifcc.com" IFL*INK == "@ proroot:[bin]iflink.com" IFO*PTO == "$ proroot:[bin]ifopt.exe"

５）この段階でIF/Prologを以下のコマンドで呼び出せます。

　　　 $ IFPROLOG [parameters] または $ IFP [parameters]

（コマンド行パラメ−タの記述については、レファレンスマニュアル、あるいはクイックレファレンスの"ifprolog"を参照して下さい。）

システムは、以下のようなヘッダとプロンプトをプリントします。

IF/Prolog Version 4.1.6 VAX/VMS created 16.7.92 Copyright (C) 1984,92 erFace Computer GmbH

?- （"bye."で終了します。User's Guideのセッション例を参照して下さい）

６）IF/Prologのユ−ザは、これ以後ログインする際に、論理名prorootとシンボルifprolog, ifsem, ifcmp, ifasm, ifassがファイルlogin.com中で自動的に定義されるようにしなければなりません。これは、コマンドファイルinit.com（あるいはそのファイルに含まれるコマンド）を起動することによって簡単に行えます。 上記２）、５）を参照して下さい。

７）以上でインスト−ルは終了しました。すべてのIF/Prologファイルに対して望ましいプロテクションを設定して下さい。インスト−ル中にエラ−が生じた場合には、すべてのIF/Prologファイルやディレクトリを削除して、最初からやり直して下さい。