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