Lunghezza di una lista in prolog

lunghezza.pro

% Caso base: se la lista è vuota, la sua lunghezza (RESULT) è pari alla lunghezza accumulata finora (PREC)
len([], PREC, RESULT) :- 
    RESULT is PREC, 
    % Ferma qui la ricorsione.
    !.

% Caso iterativo: se la lista contiene elementi, togli il primo (_), aggiungi 1 alla lunghezza accumulata (PREC + 1) e calcola la lunghezza della parte restante (TAIL)
len([_ | TAIL], PREC, RESULT) :-
    len(TAIL, PREC + 1, RESULT).


% Dolcificante sintattico: chiamare manualmente len([1, 2, 3], 0, RESULT) è scomodo, quindi se ci sono solo due argomenti assumi che PREC sia 0
len(LIST, RESULT) :-
    len(LIST, 0, RESULT)


% ?- len([1, 2, 3], WHAT).
% WHAT = 3.

% ?- len(WHAT, 3).
% WHAT = [_, _, _].