バックトラックする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...
