|
|
|
イフコンピュータ
>
MINERVA
>
マニュアル
>
レファレンス
>
述語
>
論理と制御
>
true/0
|
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.
|
| 続く..
|
|
|
|
|
|
 |
|
Expert Services on the Web |
|
|
|
|
|
|
|
|
|
|
