Про количество переменных - Prolog

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

В задачах нахождения количества Зачем нужны 3 элемента:список,M,K? Почему нельзя обойтись только списком и результатом?

/* Количество нечетных элементов-------------------*/
count_nech([],M,M):-!.
count_nech([H|T],M,K):- H mod 2 <>0,M1=M+1,count_nech(T,M1,K).
count_nech([_|T],M,K):- count_nech(T,M,K).

Решение задачи: «Про количество переменных»

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

num_odd([],0):-!.
num_odd([H|T],N):-H1 is H mod 2,H1\=0,num_odd(T,NN), N is NN+1,!.
num_odd([H|T],N):-H1 is H mod 2,H1=0,num_odd(T,N).

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

В этом коде реализуется определение количества нечетных переменных в списке. Вот список с номерами и названиями переменных:

num_odd - функция, которая принимает два аргумента: список H и переменную N.
H - список, который содержит элементы, для которых мы хотим определить количество нечетных переменных.
N - переменная, которая инициализируется нулем и используется для подсчета количества нечетных переменных.
H1 - переменная, которая используется для вычисления остатка от деления элемента списка H на 2.
NN - переменная, которая используется для хранения значения N во время рекурсивного вызова функции num_odd.
T - список, который является хвостом списка H и используется для рекурсивного вызова функции num_odd.
0 - значение, которое используется для инициализации переменной N в случае, если элемент списка H является четным. Вот список с номерами и названиями действий в коде:
Линейная комбинация H1 is H mod 2 используется для определения остатка от деления элемента списка H на 2.
Условие H1\=0 используется для проверки, является ли элемент списка H нечетным.
Рекурсивный вызов num_odd(T,NN) используется для рекурсивного вызова функции num_odd с хвостом списка T и значением NN, которое является результатом предыдущего вычисления N.
Условие H1=0 используется для проверки, является ли элемент списка H четным.
Рекурсивный вызов num_odd(T,N) используется для рекурсивного вызова функции num_odd с хвостом списка T и текущим значением N.
Маркер ! используется для прекращения рекурсии и возврата значения N в качестве результата выполнения функции.