'\+'/1

もし、ゴールが失敗すれば、成功し、失敗すれば、成功する。

\+(+ゴール)
\+ +ゴール

'\+'/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.

戻る 続く..