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).