length(L, N). - Определение количества элементов N списка L.
Определение предиката
length([X|Xs], N) if length(Xs, N1), is(N, plus(N1, 1)). length([ ], 0).
Пример
Цель: length([1, 2, 3, 4], L). Результат L: 4.