Prologとの分離
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/SQL述語はProlog特有の意味論とは独立しています。つまり、IF/SQL述語はすべてPrologの「プリミティブ」組み込み述語で、バックトラックしません。
しかし、従来のIF/PrologのORACLEインタフェースの場合のようにバックトラック可能なSQL述語を、Prologを使って簡単に実装することができます。
戻る
続く..