MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
For current customers, we continue to provide
professional support for IF/Prolog until Dec 31, 2008.
媒体は、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ファイルやディレクトリを削除して、最初からやり直して下さい。
| 
