sitelogo
true/0

正確に一度だけ成功する。

true/0

true/0 は、正確に一度だけ成功する。

例

write('this is going to succeed'), true. 現在出力ストリームに、
'this is going to succeed' を出力して、成功。
integer(a),true. 失敗。

標準

この述語は、ISO-Prolog 標準に含まれる。

関連

abort/0, break/0, fail/0, call/1, fcall/1, catch/3, ','(conjunction)/2, '!'(cut)/0, ';'(disjunction)/2, halt/0/1, '->'(if-then)/2, ';'(if-then-else)/2, '\+'(not provable)/1, once/1, repeat/0, throw/1.

戻る 続く..
冒頭へ managed with ubiCMS