|
|
|||||||||
ゴールを実行する。
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.| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/logic_and_control/call/print_jp.html published 2008/12/1 update 2001/2/7 (c) 1996-2006 IF Computer Japan | ||||||||
|
