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