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

イントロダクション

IF/PrologのCインタフェ−スによって、ユ−ザはIF/Prologインタプリタとコンパイラを、個々の要求を満たすようカスタマイズすることができます。ユ−ザは、C言語により独自の組み込み述語を書くことができ、それらを普通のPrologの述語と同様に使うことができます。...

開発にさらに便利なIF/Prologライブラリ関数

この章では、ユ−ザが独自の組み込みC述語を簡単に書くためのIF/PrologC関数について説明します。それらは、$PROROOT/c/libifprolog.aの中にあり、カスタマイズされたIF/Prologのバ−ジョンを作るために、IF/Prologのオブジェクトコ−ドとユ−ザのコンパイルしたC述語にリンクされています。...

バックトラックしないProlog述語をC言語で書く

最初の例は、新しい組み込み述語 print_it(String,Length)を書く場合を示しています。この述語は、与えられた文字列をプリントし、その長さを返してきます。...

バックトラックするProlog述語をC言語で書く

あなたのアプリケ−ションが簡単な場合には、この章は読む必要はありません。...

cgenマニュアル

低レベルのインタフェイス

新しい低レベルのPrologインタフェイスによってPrologのゴールを Cプリミティブや C述語から呼び出すことが可能になりました．...

IF/Prolog ストリーム ・インタフェース

IF/Prolog ストリーム ・インタフェースにより、ファイルのような外部デバイスをアクセスしたり、より複雑なユーザー定義のプロトコルをIF/Prologから直接使うことができます。...

付録 A - cpred.hのリスト

付録 B - cpro.hのリスト