
member(X,[X|R]).
member(X,[Y|R]) :- member(X,R).

append([X|Y],Z,[X|W]) :- append(Y,Z,W).
append([],X,X).
