'\+'/1 /MINERVA/Manual/Reference/Predicates/logic_and_control/not_provable/

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

移動
次へ	前へ
上へ	最上

参考

','(Conjunction)/2

';'(Disjunction)/2

';'(If-then-else)/2

イフコンピュータ > MINERVA > マニュアル > レファレンス > 述語 > 論理と制御 > '\+'/1

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

続く..

MINERVA

Expert Services on the Web

言語

サーバー

サイトマップ

全体目次

全体索引

imode

PDA

探索

document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/logic_and_control/not_provable/home_jp.html
published 2008/7/21 update 2001/2/7 (c) 1996-2006 IF Computer Japan

IF Computer	〒113-0022	Tel 03-5814-3352	ifcj@ifcomputer.co.jp
Customer Support	東京都文京区千駄木5-28-2		http://www.ifcomputer.co.jp

managed with ubiCMS