% A variable grammar body reports instantiation when invoked.
p --> Body.
%% ?- phrase(p, []).