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

:- append(i,i,o).

