|
|
|||||||||
いつも成功する。
repeat
repeat/0 は、繰り返し、無限に成功する。true/0 との違いは、バックトラックされることです。
repeat/0 で定義されるループは、繰り返すので、カット ('!'/0)でのみ終了する。
もし、repeat/0のあとでコールされた述語がいつも失敗すれば、無限ループが出来る。もし、、repeat/0 がconjunction (','/2) のあとで続けば、 その左部分はバックトラックされない。
例
| repeat, write('indefinitely'), nl, fail. | 無限に'indefinitely' を現在出力ストリームに書く。 |
| repeat,!. | 成功. |
| repeat,!,fail. | 失敗. |
標準
この述語は、ISO-Prolog 標準に含まれる。
関連
abort/0, break/0, call/1, _call/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, once/1, throw/1.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/logic_and_control/repeat/print_jp.html published 2008/12/1 update 2001/2/7 (c) 1996-2006 IF Computer Japan | ||||||||
|
