% Adapted from Logtalk dcgs_push_back_list_09.
p, [t1], [t2] --> [].
%% ?- phrase(p, []).