u([],[]).
u([P|R],L) :- u(R,L2),a_u(P,L2,L).

a_u(P,[],[[P]]) :- !.
a_u(P,[[Q|R1]|R2],[[P,Q|R1]|R2]) :- functor(P,F,1),functor(Q,F,1),!.
a_u(P,[L|R1],[L|R2]) :- a_u(P,R1,R2).

だと、思ったのだが。