Вычисления длины списка с помощью восходящей рекурсии (Visual Prolog)

Формулировка задачи:

Написать программу вычисления длины списка с помощью восходящей рекурсии. Помогите сделать

Решение задачи: «Вычисления длины списка с помощью восходящей рекурсии (Visual Prolog)»

Листинг программы

domains
list = integer*
 
predicates
len(list, integer)
len_rec(list, integer, integer)
 
clauses
len(L, N) :-
    len_rec(L, 0, N).
 
len_rec([], N, N).
len_rec([_|T], N, R) :-
    NN = N + 1,
    len_rec(T, NN, R).

Объяснение кода листинга программы

В этом коде используется язык программирования Prolog, который использует логическую парадигму программирования.
Код реализует рекурсивную функцию для вычисления длины списка.
Функция len принимает два аргумента: список L и переменную N, которая инициализируется значением 0.
Функция len_rec является рекурсивной функцией и принимает три аргумента: список L, текущее значение N и результат рекурсии R.
Если список пуст (L = []), то функция len_rec возвращает значение N, которое и является результатом вызова функции len.
Если список не пуст (L = [_|T]), то функция len_rec увеличивает значение N на 1 и вызывает себя же, но уже с обновленным значением N и T в качестве нового списка. Результатом рекурсии является значение R.
Значение N инициализируется значением 0, а значение R инициализируется значением N.
В итоге, функция len возвращает значение длины списка, которое вычисляется с помощью рекурсивного вызова функции len_rec.