append([],L,L). append([H|T],A,[H|L]) :- append(T,A,L).