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

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

バックトラックする複雑なProlog述語をC言語で書こうとする前に、同じ結果が、今まで述べてきた範囲で書ける簡単な述語と 、組み込まれた制御述語"repeat","!"（カット）,"fail"との組み合わせで得られないか検討してみた方が良いでしょう。

理論背景 : ボックスモデルとコル−チン

バックトラックする複雑なProlog述語を書く前に、その基礎となる理論の概要と、どのようにそれが実現されているかを理解することが必要です。...

C言語によるコル−チンの実現

IF/Prologによってサポートされるコル−チン

CPREDは、STATE複合項のサイズを引数として呼び出されます。IF/Prologが初めてC述語のル−チンを呼び出す時（実体を作る時）、このサイズの変数を生成し、その実体が存在する間は保持し続けます。IF/Prologでは、最初にプログラムポインタ＝０で関数を呼び出します。各活性化の間（RESUMEs）、直前の返り値が次のプログラムポインタとして記憶されます。もしそれ以上他の解が見つからないと、次のプログラムポインタとして０が返されます。もしepilog（後処理指令）がある場合、IF/Prologは、epilogを実行するためにプログラムポインタ＝−１でそのル−チンを再度呼び出します。以下にその概要を示します。...

マクロ定義と関数のライブラリ−

以下に述べるマクロ定義と関数のライブラリ−によって、容易にかつ統一的にバックトラックする述語をC言語で書けるようになります。これらのマクロ定義の詳細については、付録のcpred.hのリストを参照して下さい。...

バックトラックをするプログラム例

このプログラム例は、$PROROOT/demos/cの中にあります。新しい述語for_pred/3は、C言語，Pascal，Fortranなどの従来のプログラミング言語で使う”for”文と同様の働きをします。この述語は３つの引数を持ちます。第１引数は、初期整数値、第３引数は最大整数値、第２引数は数列の現在値を与える変数です。その増分は内部で１にセットされ、外部からは変更できません。...

バックトラックをし、Epilogを持つプログラム例

次の例は、必要でなくなったファイルを閉じる時に、epilogの機能がどのように使われるかを示しています。”readatom”という関数は、第１引数で指定されるファイルをオ−プンし、ファイルの最初の行を第２引数と単一化したアトムとして返します。バックトラックがおきると、第２引数を２，３，４行目と次々に単一化します。述語は、以下のように呼び出されます。（file１の内容は下に示してあります）...