@([], L, L).
@([H|T], L, [H|Tt]) :- @(T, L, Tt).

&=([], []).
&=([H|Tl], [H|Tr]) :- &=(Tl, Tr).