C言語からIF/Prologへのインタフェ−ス

イントロダクション

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

ライブラリー関数と型定義

これらの基本的なC関数は、ホスト言語Cインタフェ−スの機能をサポ−トします。...

CからIF/Prologへのインタフェースの使用

概 略...

main.c プログラム例

初めの２つのプログラム例は、IF/Prologの通常のトップレベルル−プを単にシュミレ−トしたものです。３番目のプログラム例は、ある質問を宝石商の供給者に関する情報からなる小さなデ−タベ−ス上で実行するもので、その実行例も示しています。４番目のプログラム例は、関数printt()を使ったもので、やはり実行例も示しています。...