executes a goal.
call/1 succeeds if Goal is executable. By backtracing
Goal can have more than one solution.
The effect of a cut occuring in Goal is limited to this goal. It
has no effect outside of call/1.
call/1 is a metacall.
Goal goal
| X=integer(3), call(X). | Succeeds. |
| call(write('hallo')). | Succeeds. |
| call(!),fail;true. | Succeeds. |
| call((!,fail;true)). | Fails. |
| X=f(a),call(X). | existence_error(procedure,f/1). |
This predicate is part of the ISO-Prolog Standard.