remove(X,[X|Y],Y).
remove(X,[Y|Z],[Y|W]) :- X \= Y -> remove(X,Z,W).

?- remove(7, [1,2,3,4,5,6,7,8,9], X).