concatenate([], L, L). concatenate([H|T1], L, [H|T2]) :- concatenate(T1, L, T2).