バックトラックするProlog述語をC言語で書く
MINERVA superseeded IF/Prolog. Please see http://www.ifcomputer.co.jp/MINERVA for details.

We discontinued to sell IF/Prolog Dec 31. 2003. For current customers, we continue to provide professional support for IF/Prolog until Dec 31, 2008.

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

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


理論背景 : ボックスモデルとコル−チン
C言語によるコル−チンの実現
IF/Prologによってサポートされるコル−チン
マクロ定義と関数のライブラリ−
バックトラックをするプログラム例
バックトラックをし、Epilogを持つプログラム例

Up read on...