append([],X,X)
append([H|T],X,[H|Z]) :- append(T,X,Z)
