Определение функции, строящей список нечетных чисел до заданного N - Prolog

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

Всем привет. Определить функцию, которая строит список [1 3 5 7 ... 2*N-1] для заданного N.

Решение задачи: «Определение функции, строящей список нечетных чисел до заданного N»

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

domains
int=integer
intl=int*
 
predicates
odd_list(int,int,intl)
task(int,intl)
 
clauses
odd_list(N,N,[]).
odd_list(N,M,[H|Z]) :- M<N, H=2*M+1, P=M+1, odd_list(N,P,Z).
 
task(N,R) :- odd_list(N,0,R).

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

В коде используется язык программирования Prolog.
В первой строке определены типы данных: int - целое число, intl - список целых чисел.
Далее определены два предиката: odd_list и task.
Предикат odd_list(N, M, Z) описывает список нечетных чисел до заданного N. Здесь N - номер последнего элемента списка, M - номер текущего элемента списка, Z - список нечетных чисел.
В первой формулировке предиката odd_list(N, N, []) говорится, что если N равно N, то список нечетных чисел пустой.
Во второй формулировке предиката odd_list(N, M, [H|Z]) говорится, что если M меньше N, то H - это 2M+1, P - это M+1, и есть факт odd_list(N, P, Z). То есть, мы добавляем число H в список Z и рекурсивно вызываем odd_list с новыми значениями N и P.
Предикат task(N, R) говорит, что если N равно 0, то R - это список нечетных чисел.
В первой формулировке task(N, R) говорится, что если N равно 0, то R - это список нечетных чисел.
Вторая формулировка task(N, R) :- odd_list(N,0,R) говорит, что для получения списка нечетных чисел до N, нужно вызвать odd_list с N=0.