Proves (executes) P.
Executes the goal obtained by augmenting P by the remaining arguments.
callable, must be nonvar
If P is instantiated
to an atom or compound term, then the goal
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. Only
call/1..8 are required by ISO.
Depends on P.
Call errors (see ref-sem-exc).
library(lists) is defined as:
maplist(Pred, Xs) :- ( foreach(X,Xs), param(Pred) do call(Pred, X) ).