|
|
|||||||||
もし、ゴールが失敗すれば、成功し、失敗すれば、成功する。
\+(+ゴール)
\+ +ゴール
'\+'/1 は、失敗によって否定を作る。もし、ゴール が失敗すれば、成功し、失敗すれば、成功することである。
引数
ゴール ゴール
例
| \+fail. | 成功. |
| \+integer(4.76) | 成功. |
| \+((X=either;X=or)),X=neither_nor | 失敗. |
標準
この述語は、ISO-Prolog 標準には含まれない。
関連
abort/0, break/0, call/1, fcall/1, catch/3, ','(conjunction)/2, '!'(cut)/0, ';'(disjunction)/2, fail/0, true/0, halt/0/1, '->'(if-then)/2, ';'(if-then-else)/2, once/1, repeat/0, throw/1.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/logic_and_control/not_provable/print_jp.html published 2008/10/6 update 2001/2/7 (c) 1996-2006 IF Computer Japan | ||||||||
|
