call/1

call(Goal)

Evaluates the new Goal.

Remarks

The predicate call is used to evaluate the new goal, given by its argumnent. This is the way to use a variable as subgoal.

Example

Goal=..[f,2,"abc"],
call(Goal).