Вычислить сумму всех целых нечетных чисел из заданного интервала - Prolog

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

вычислить сумму всех целых нечетных чисел отрезка [M,N] пожалуйста помогите с решением.

domains 
 
i=integer 
 
predicates 
n(i,i,i) 
 
clauses 
n(M,N,R):- 
 
M>N, 
 
R=0. 
 
n(M,N,R):- 
 
N>=M, 
 
M mod 2 =1,
 
M1=M+1, 
 
n(M1,N,R1), 
 
R=R1+M.

где то ошибка

Решение задачи: «Вычислить сумму всех целых нечетных чисел из заданного интервала»

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

n(M,N,R) :- M > N, R=0, !.
n(M,N,R) :- N >= M, M mod 2 =:= 1, M1 is M + 1, n(M1,N,R1), R is R1 + M, !.
n(M,N,R) :- M1 is M + 1, n(M1,N,R).

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

Код решает задачу вычисления суммы всех целых нечетных чисел в заданном интервале. В коде используется следующий алгоритм:

Передача в качестве входных параметров трех переменных: M (начальное значение), N (конечное значение) и R (сумма).
Проверка условия M > N и присвоение значения R=0, если условие выполняется. Это означает, что если M больше N, то сумма равна нулю.
Проверка условия N >= M и проверка условия M mod 2 =:= 1 (то есть M - нечетное число). Если оба условия выполняются, то происходит инкремент M на 1 и рекурсивный вызов n(M1,N,R1), где M1 - это новое значение M, R1 - это старое значение R. Таким образом, в R1 накапливается сумма нечетных чисел до M, а в R - сумма нечетных чисел в интервале от M до N.
Если условие N >= M не выполняется, то происходит инкремент M на 1 и рекурсивный вызов n(M1,N,R). Это означает, что мы переходим к следующей итерации, где M становится равным N + 1. В результате выполнения кода в переменной R будет содержаться искомая сумма.