IF/Prolog4.0は、まるでインタプリタとして働くPrologシステムであるかのように動きます。これは、大変優れた機能です。データベースにアサートされた節は、すべて増分コンパイラによってコンパイルされます。このコンパイルは非常に高速に行われるため、アサートは旧バージョンと同じくらい早くなっています。コンパイルされた節は、逆コンパイラにより、「retract」や「clause」述語の呼び出しを通じて、項による表現に戻すことができます。
ifsemコンパイラは、Prologのソースコードをマシンに依存しない仮想コードに変換します。この仮想コードは、-l フラグを付けてIF/Prologを起動するか、述語 load を対話的に使用することによりロードできます。
コード生成の前に増分コンパイラを使用することにより、コンパイル時間は著しく短縮することができます。コンパイルされた節が依然として修正可能であることも新しいコンパイラの利点です。コードの質(サイズおよび実行速度)は、3.4の ifsemのものよりも良くなっています。
ifsemによりコンパイルした後は、コードを対話的に修正することはできません。しかし、"abolish"でデータベースから取り除くことはできます。