add([],X,X). add([1|X],Y,[1|Z]) :- add(X,Y,Z).