% A list append program
append([],L,L2) :- L2 = L.
append([H|T],L,L3) :- L3 = [H|L2], append(T,L,L2).