Invoke Goal as a goal. Note that clauses may have variables as subclauses, which is identical to call/1.
The same appears on help(call) from swipl.
Does that mean that if these variables are bound, their values are invoked using call/1? Or is it a typo of some kind?