% A grammar-rule module qualifier must be an atom.
1:p --> [].
%% ?- phrase(p, []).