|
% PROCEDURA PER CONCATENARE DUE LISTE
% append(L1, L2, L) "L è la concatenazione delle liste L1 e L2"
% caso base: la concatenazione di una lista vuota e L2 è L2
append([], L2, L2).
% se L1 è la lista [H|TAIL], allora [H|TAIL1] è la concatenazione
% di L1 e L2 se TAIL1 è la concatenazione di TAIL e L2
append([HEAD|TAIL], L2, [HEAD|TAIL1]) :- append(TAIL, L2, TAIL1).
|
|