ゴールを実行する。
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 標準に含まれる。