member(X,[X|_]).
  member(X,[_|T]) :- member(X,T).
  
  append([],L,L).
  append([ H | T ],L,[ H | R ]):- append(T,L,R).