コンパイルされたIF/Prologファイルは、たとえばコンパイルされたＣや FORTRANファイルの場合とは同様、そのままでは実行できません。その代わりに、コンパイルしたファイルをロードし、その中で定義されたコンパイル済手続きを、コンパイルされていないIF/Prologの手続きを呼び出すのと同じ方法で、IF/Prologインタプリタレベルから起動できます。

Prologファイルがすでにコンパイルされている場合、以下のいずれの方法でもこれをロ−ドすることができます。

-コマンド行から、コマンド'ifprolog'とシステムパラメータ'-l'を使って以下のように　します。

$ ifprolog -l myfile.sem　（ifprologを参照して下さい）

-IF/Prologのセッション中に、述語loadを使って以下のようにします。

?-load(myfile).

２番目の例ではファイルには拡張子がありません。この場合IF/Prologは、'myfile'という名前のファイルを捜し、あればそれをロードします。そうでなければファイル'myfile.cmp'をロ−ドしようとします。これが失敗した場合には、ファイル'myfile.sem'をロ−ドしようとします。これらのファイルがいずれも存在しなければ、エラーメッセージが生成されます。

'unload(ファイル名)'を使って、現在のIF/Prologのデータベースからコンパイルされたモジュールを削除することができます。unloadした後、モジュール'ファイル名.sem'は、わからなくなります。述語abolishを使って、データベースから個々の述語を削除することも可能です。さらに、ファイルが最適化を書けずにコンパイルされた場合(ifsem -debugを使用して)、個々の節は削除され、インタプリトされたコードとして付け加えられることができます。

注意：

・コンパイルされたファイルは、'consult(ファイル名)'や'[ファイル名]'を使ってコンサルトできません!

・インタプリトされた手続きは、対応するコンパイルされた述語をロ−ドすれば、置き換わります。

・修正されたコンパイル済手続きは、変更することはできません。assertやretractを使用してこれを変更することはできません。

・最適化しコンパイルされた手続きの実行は、フルスクリ−ンデバッガやtrace/0を使ってデバッグすることはできません。