| ||||||||||
| 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を使って簡単に実装することができます。
| ||||||||||
|
| 戻る> |
|