IF/Prologのインストールにおいて問題が生じた場合、イフコンピュータに連絡下さい。 インストールスクリプトは、インストールを開始したディレクトリ中に install.log というログファイルを生成します。

以下に主なエラーメッセージについて紹介します。

Tape read errors

tarファイルを読み込み、それを取り出す前に、十分なディスクスペースがあるかどうか確かめて下さい。

まず、正しいディバイスエントリが使用されているかどうかチェックして下さい。異なるマシン上のテープドライブからテープを読み込んで見て下さい。もし、これが作動するならば、上記のネットワーク接続を介してインストールを試みて下さい。

IF/Prolog binary cannot be generated

IF/Prologは、システムに応じて、ライブラリが存在する場所を仮定します。 link_sys.sh のファイルでパスをチェックして、もしあなたのマシン上でパスが異なる場合には、これを変更して下さい。また、CコンパイラがIF/Prologカーネルを呼び出しますが、Cコンパイラ( cc )が見つからない場合には、リンカー( ld)を使用しようとします。最後の手段としては、プレリンクされたカーネルがインストールされます。 link_com.shファイルのコマンドをチェックして、あなたのマシンに合わせて下さい。Unixに関する知識があれば、インストールスクリプトあるいはlink_prologを追ってみてください。

Licensing problems

IF/Prologがインストールされたマシン用のライセンスが正しく入っているか、ライセンス情報が、 Keyファイルに正しく入っているか、このファイルに読み込み許可がついているかどうか確認して下さい。

Shared Library problems

開始時にシェアされるライブラリが見つからない場合には、あなたのマシン上にこれらのライブラリがあるかどうか確かめて下さい。ライブラリがあなたのマシンにない場合、IF/Prologを作動させることはできません。あるいは、あなたの環境をlookupパスのそれぞれのディレクトリにインクルードするようにして下さい。例えば、Sunマシンの場合には、XおよびOSF/Motifシェアライブラリにアクセスするために、 LD_LIBRARY_PATHという環境変数は、 /usr/X11R5/lib:/usr/IXMOTIS12B/lib にセットされています。