% Adapted from Logtalk dcgs_terminal_list_04. Modified for EyeProlog's harness.
p --> [a|b].
%% ?- phrase(p, []).