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セッションを中断することなくなされ、もしコンパイルした述語と対応する未コンパイルの述語があれば、コンパイル済みの述語と置き換えます。
つまり、コンパイルされた述語とコンパイルされていない述語は、必要に応じて組み合わせることができ、1つのプログラムとしてロ−ドされます。コンパイルしていない述語はテスト、デバッギング、リスティングのために残しておき、「信用できる」（十分に改良しテストされた）述語をコンパイルして高速に実行させるようにできます。
|
