| ゴールを実行する。
call(?ゴール)
call/1 は、ゴール が実行可能ならば、成功する。
バックトラックによって、
ゴール は、一つ以上の解を持つ。
ゴール で起こすカットの効果は、このゴールのみに制限される。
call/1 の外側では効果を持たない。
call/1 はメタコールである。
引数
ゴール ゴール
例
| X=integer(3), call(X). |
成功. |
| call(write('hallo')). |
成功. |
| call(!),fail;true. |
成功. |
| call((!,fail;true)). |
失敗. |
| X=f(a),call(X). |
existence_error(procedure,f/1). |
標準
この述語は、ISO-Prolog 標準に含まれる。
関連
abort/0,
break/0,
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,
once/1,
repeat/0,
throw/1.
|
