% Inspired by Logtalk dcgs_terminal_list_04 and phrase_3_03.
% Modified for EyeProlog's harness.
p --> [a|Tail].
%% ?- phrase(p, []).