Prologとの分離

IF/SQL述語はProlog特有の意味論とは独立しています。つまり、IF/SQL述語はすべてPrologの「プリミティブ」組み込み述語で、バックトラックしません。

しかし、従来のIF/PrologのORACLEインタフェースの場合のようにバックトラック可能なSQL述語を、Prologを使って簡単に実装することができます。