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.
IF/Prologはどのディレクトリにもインストールできますが、正しく作動するためには2つのUNIX環境変数(PROROOTとPATH)を設定する必要があります。PROROOTはPrologのディレクトリを表します。PATHには$PROROOT/binが含まれていなければなりません。この2つのUNIX環境変数の設定とIF/Prologのテープの中身を$PROROOTに読み込むことによってインストールは終了します。
例えばIF/Prologのファイルをテ−プから/usr/local/ifprologに移すためには、以下の6つのステップを実行して下さい。
IF/Prologを実行可能にするためには、必ずステップ1とステップ2を行わなければなりません。あなたがBourneシェルやKorneシェル（sh、ksh）を使っている場合は、ステップ1shとステップ2shを行って下さい。Cシェル（csh）を使っている場合は、ステップ1cshとステップ2cshを行って下さい。
ステップ3〜6においては、シェルによってプロンプトが違うだけです。
（cshには%, shには$）
1csh)IF/Prologがどこにあるかを表すUNIX環境変数をファイル.login中で宣言して下さい。
例えば setenv PROROOT "/usr/local/ifprolog"
2csh).loginのパスにディレクトリ'$PROROOT/bin'を付け加えて下さい。
例えば set path = ($PROROOT/bin $path)
1sh)IF/Prologがどこにあるかを表すUNIX環境変数をファイル.profile中で宣言して下さい。
例えば PROROOT=/usr/local/ifprolog
2sh).profileのパスにディレクトリ$PROROOT/binを付け加えて下さい。
例えば PATH=$PATH:$PROROOT/bin
次に以下のように .profileにPATHとPROROOTをexportして下さい。
export PATH PROROOT
3).loginまたは.profileが確実に実行されるように再度ログインして下さい。
4)PROROOTとPATHが正しく設定されているか確認して下さい。
例えば %echo $PROROOT
/usr/local/ifprolog
%echo $PATH
.../usr/local/ifprolog/bin...
5)以下のようにしてディレクトリ$PROROOTを作成し、このディレクトリに移って下さい。
% mkdir $PROROOT
% cd $PROROOT
6)IF/Prologが配布されているメディアのラベルの指示に従って、テープをこのディレクトリにコピ−して下さい。
例えば % tar xvobf 20 /dev/rmt0
こうしてIF/Prologのファイルは読み込まれ、正しい位置に配置されました。
ここで以下のようにしてIF/Prologを呼び出すことができます。
%ifprolog
?- end.
%
| 
