% A grammar rule cannot have a variable nonterminal head.
Head --> [].
%% ?- phrase(p, []).