MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
Dedicated technical support for IF/Prolog ended Dec 31 2008.
This site is maintained as a community service only.
モジュール間でのローカルな名前のエキスポートおよびインポートは、IF/Prologのコンパイラによって処理されます。コンパイラは、compiles/1述語あるいはifsem(1)コマンドによって起動します。モジュール定義を解釈する際は、他のモジュールに関するインタフェース情報(すなわち、モジュールヘッド)は、そのモジュールをコンパイルしたものから抽出されます。
モジュールのソースファイルをコンサルトあるいはリコンサルトする際に、ほとんどのコンパイラ指令は無視され、それによって導入されるべき名前の付け方の決まりも無効です。しかし、?- op と ?- predicate の指令はconsult/1とreconsult/1に実装されているので、対応するロード時の指令である :- op と :- predicate の同義語として働くようになっています。これにより、モジュールの機能が使えなくても問題のないプログラムであれば、コンサルトとコンパイルのどちらでも処理できるソースファイルになります。
さらに、
?- include(別のファイル).
により、このファイルがコンサルト・リコンサルト・コンパイルのいずれがされているかに応じて「正しいことを行なう」簡単な方法を提供しています。いずれの場合でも、「別のファイル」は、適切なメカニズムを使ってインクルードされます。これにより、モジュール機能が要求されず、トップレベルのファイルが、インタプリタとコンパイラの両方で処理されねばならない際に、プログラムをいくつかのファイルに分割することができます。
| 
