unify(_,[],[]).
unify([],L,L).
unify([H|T1], [H|T2], [H|R]) :- unify(T1, T2, R).
unify([H1|T1], [H2|T2], [H2|R]) :- H1 \= H2, unify([H1|T1], T2, R).

:- unify([2], [1,_,3], L), write(L), nl.
:- unify([2,4], [1,_,3,_,5,6], L), write(L), nl.