% call//1 rejects a non-callable closure.
invoke --> call(1).
%% ?- phrase(invoke, []).