append([], Lista, Lista). append([Cabeza $\vert$ Cola], Lista,[Cabeza $\vert$ ColaResultado]) :- append(Cola, Lista, ColaResultado).