call/_57507 [ISO]call(+P)
Proves (executes) P.
call(+P,?Q,...)
Executes the goal obtained by augmenting P by the remaining arguments.
If P is instantiated
to an atom or compound term, then the goal call(P) is
executed exactly as if that term appeared textually in its place,
except that any cut (`!') occurring in P only cuts alternatives
in the execution of P.
Depends on P.
Call errors (see ref-sem-exc).