append([u|x],z,[u|z]):-append(x,y,z)