The call call(Goal,A1,...,An) creates a new goal by appending the arguments A1, , An to the end of the arguments of Goal. For example, call(Goal,A1,A2,A3) is equivalent to the following:
Goal=..[F|Args],
append(Args,[A1,A2,A3],NewArgs),
NewCall=..[F|NewArgs],
call(NewCall)
When compiled, n can be any positive number that is less than 216; when interpreted, however, n cannot be larger than 10.
Neng-Fa Zhou
2013-01-25