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のコードをコンパイルしロードする際、以下のエラーと警告メッセージが生じることがあります。必要に応じて、エラーメッセージは、問題のあったファイル名やエラーを起こした項と共に出されます。
<コンパイラのエラー>
could_not_open_file ソースファイルあるいはコンパイルコードファイルを開く際のエラー。入力ファイルの読み込み許可がないか、ファイルが存在しません。または、出力ファイルが生成できないか、読み込み許可がありません。
syntax error: <error message> Prologソースファイル中の構文エラーが検出されました。
syntax warning: <warning message> 構文チェッカーが、問題があるかもしれない(不正確とまでは断定できない。)節の定義を検出しました。
illegal_predicate 構文上は正しいが、正しいProlog節を構成していない項(例えば変数など)が読み込まれました。
illegal_option_list ifsemコマンド行に、未知のオプションが指定されました。レファレンスマニュアルのifsemオプションのリストを参照して下さい。
<ローダのエラー>
could_not_open_stream ロードすべきファイルが存在しないか、読み込み許可がありきません。
illegal_format ロ−ドしようとするファイルがコンパイルされたIF/Prologのコ−ドファイルではありません。
old_sem_file ロードしようとする .semファイルは、現在のIF/Prologとは互換性を持たない古いバージョンのIF/Prologにより生成されたものです。ソースファイルを再コンパイルして下さい。
not_modifiable ロードしたファイルで定義されている述語はすでに定義済であり、修正することはできません。これは、修正モードがoffであるのかあるいは以前にその述語を定義する最適化コンパイルコードファイルがロードされていたかのいずれかによるものです。修正モードを変更しておくか、モジュールのアンロード、あるいは述語をアボリッシュしてからロードして下さい。
redefined Prologデータベースの述語は、ロードファイルの同じ述語の定義により置き換えられました。このような述語の再定義を防ぐためには、修正モードをoffにしてください。
module_not_found デ−タベ−スに存在しないモジュ−ルをアンロ−ドしようとしました。
モジュールの定義に関するコンパイラ・エラーメッセージに関しては、次の章で説明をします。
|