call/1¶

call( 0:P )* is iso Meta-call predicate.

If P is instantiated to an atom or a compound term, the goal call( _P_) is executed as if the clause was originally written as P instead as call( P ), except that any "cut" occurring in P only cuts alternatives in the execution of P.

Defined as if:

 call(G) :- '$execute' (G).