% Adapted from Logtalk dcgs_push_back_list_11.
[t], p --> [].
%% ?- phrase(p, []).