|
|
|||||||||
正確に一度だけ成功する。
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.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/logic_and_control/true/print_jp.html published 2008/10/13 update 2001/2/7 (c) 1996-2006 IF Computer Japan | ||||||||
|
