プログラムの一部（ひとつかそれ以上のファイル）をコンパイルし、コンパイルされていないインタプリトされるプログラムと動的にリンクすることができます。これは対話型IF/Prologセッションを中断することなくなされ、もしコンパイルした述語と対応する未コンパイルの述語があれば、コンパイル済みの述語と置き換えます。
つまり、コンパイルされた述語とコンパイルされていない述語は、必要に応じて組み合わせることができ、1つのプログラムとしてロ−ドされます。コンパイルしていない述語はテスト、デバッギング、リスティングのために残しておき、「信用できる」（十分に改良しテストされた）述語をコンパイルして高速に実行させるようにできます。