前章では、C関数で書かれた述語をIF/Prologで呼び出す仕組みについて説明しました。この章では、Cプログラムの中で従来のCの呼び出し手続きによって、IF/Prologで書かれた述語やアプリケ−ション全体を使う仕組みについて説明します。これはCとIF/Prologを接続するアプリケ−ションの設計に柔軟性を与えます。

C関数は、質問を含んだストリングをIF/Prologに渡します。IF/Prologは質問を実行し、質問の中の変数に値を代入し、質問を満たします。これらの値は、Cプログラムにも有効です。このインタフェ−スは、自動的にこの値をCの基本デ−タ型に変換するのを助けます。質問を”再実行”するためにIF/Prologを呼び出し、さらに他の解を得ることができます。

IF/Prologは、独立したプロセスとして動くのではありません。Cプログラムは、単にIF/Prologのオブジェクトライブラリ−とリンクされるのです。

ホスト言語インタフェ−スの応用としては次のものがあります。

-IF/Prologに内在する係デ−タベ−スの能力をCプログラムに簡単に利用できるもの

-Cアプリケ−ションは、IF/Prologで書かれたエキスパ−トシステムやその他のプログラムにアクセスすることができます。

-既存のCプログラムへの拡張部分のIF/Prologによるラピッドプロトタイピング　

−従来のプログラミング言語を使って簡単に表現できないようなタスク、たとえば、バックトラックの利用が望ましいタスクは、IF/Prologで書くことによりCプログラムに統合されます。

次のセクションでは、ここで利用できる関数の詳しい使い方について述べます。掲載されているプログラム例は、このインタフェ−スの簡潔性と能力を示しています。