!(カット)
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.
親ゴ−ルが実行を開始した時点以降のすべての選択点をカットします。カットは、親ゴ−ルのすべての節に作用します。
以下は、カットの重要な使用例です。
not_provable(Goal) :- Goal, !, fail.
not_provable(Goal).
目的は、述語"Goal"がtrue（証明できる）ならば、失敗するというものです。しかし述語が証明できなければ、"Goal"はtrueと仮定されます。カットを用いなければ、このような目的を解決できません。
Up
read on...
