append([], L, L). append([A|R], L, [A|RL]) :- append(R, L, RL).