|
|
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と仮定されます。カットを用いなければ、このような目的を解決できません。
| document: http://www.ifcomputer.co.jp/IFProlog/Manuals/v4.1/reference/cut/print_en.html published 2012/5/21 update 1995/11/6 (c) 1996-2009 IF Computer Japan | ||||||||
|
