!(カット) /IFProlog/Manuals/v4.1/reference/cut/

!(カット)

MINERVA superseeded IF/Prolog. Please see http://www.ifcomputer.co.jp/MINERVA for details.

We discontinued to sell IF/Prolog Dec 31. 2003. Dedicated technical support for IF/Prolog ended Dec 31 2008. This site is maintained as a community service only.

親ゴ－ルが実行を開始した時点以降のすべての選択点をカットします。カットは、親ゴ－ルのすべての節に作用します。

以下は、カットの重要な使用例です。

not_provable(Goal) :- Goal, !, fail. not_provable(Goal).

目的は、述語"Goal"がtrue（証明できる）ならば、失敗するというものです。しかし述語が証明できなければ、"Goal"はtrueと仮定されます。カットを用いなければ、このような目的を解決できません。

Up read on...