This predicate executes its body_term as a goal. The goal can be the value of a variable, but the variable may not be a empty.
see also: always/2 catch/2 catch/3 fail/0 halt/0 halt/1 if-then/2 if-then-else/2 once/1 repeat/0 throw/1 true/0
| Example | |
| A=a, call(A). | fails if the current module does not contain an a/0 clause, otherwise succeeds |
| call( proc0(a, e) ). | an attempt is started to prove proc0(a, e) |
| Exceptions | |
| argument is an empty variable | an instantiation_error exception is thrown |