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 4.1は、IF/Prolog 4.0を拡張したバージョンです。カーネル自体にも少し変更がありますが、主に、グラフィックユーザインタフェース(OSF/Motif 1.1 および X11R4 Athena Widget )などの外部のソフトウェアとのインタフェースを拡張することに力を注ぎました。
主な変更点は以下の通りです。
＜SQLインタフェース＞
OracleとInformixに加えてIngresバージョンもできました。
＜X11インタフェース＞
X11インタフェースは、X11リリース4とこれに付随するAthena Widgetsとに基づいています。
＜OSF/Motifインタフェース＞
OFS/Motif インタフェースは、OSF/Motif1.1に基づいています。OSF/Motif 1.1は、ほとんどのハードウェア上でサポートされています。
＜グラフィックユーザインタフェース＞
X11R4とのインタフェースあるいはOSF/Motif1.1とのインタフェースをサポートしているプラットフォーム上では、IF/Prolog自体のグラフィックユーザインタフェースを使うことができます。ウィンドウ指向の開発環境およびデバッガーは、より高度な機能を持っています。
＜DEC10 ライブラリ＞
Prolog用のDEC10のパブリックドメインライブラリが、IF/Prolog用に移植されました。ユーザには、すべてのモジュールのソースコードが提供されており、好きなようにチューニングすることができます。
＜クイックレファレンス＞
IF/Prologの述語のクイックレファレンスは、help/0/1/2述語を介して、オンラインで使用できます。
＜新しい述語＞
copy_term/2とonce/1の2つの述語ができました。これらは、IF/Prologに含まれたISO-Prologの標準の一部として、新たに加えられました。
＜ハイパーテキストマニュアル＞
IF/Prologのレファレンスマニュアルは、オンラインのハイパーテキストとして使用できます。
| 
