% Adapted from Logtalk dcgs_push_back_list_09-12.
p, [a|b] --> [].
%% ?- phrase(p, []).