sitelogo
once/1

一度だけ、ゴールを実行する。

once(?ゴール)

once/1 は、 call/1と同様の動作をするが、 バックトラックは起こさない。

引数 

ゴール                   ゴール

例

once((member(X,[a,b,c]))). X <- a の代入で、一度だけ成功。

標準

この述語は、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, '\+'(not provable)/1, repeat/0, throw/1.

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