Создать список чисел от n1 до n2 - Prolog

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

Нужно напечатать (создать список как) интервал целых чисел от n1 до n2.

Решение задачи: «Создать список чисел от n1 до n2»

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

domains
int=integer
intl=int*
 
predicates
range(int,int,intl)
 
clauses
range(E,E,[E]).
range(B,E,[B|T]) :- B1=B+1, range(B1,E,T).

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

В этом коде используется язык программирования Prolog. Его задача - создать список чисел от n1 до n2. Код определяет два предиката: range и =, а также одну область определения int. В первом предикате range есть три аргумента: E, E1 и E2. Здесь E и E1 являются числами, а E2 - списком чисел. Предикат range проверяет, является ли E последним числом в списке E2. Если это так, то он возвращает E2. Если нет, то он добавляет E в начало списка E2 и возвращает новый список. Второй предикат = используется для сравнения двух чисел. В области определения int число обозначается как int. В теле программы есть две строки. Первая строка говорит Prolog'у, что если первое и второе числа равны, то возвращать список, содержащий только это число. Вторая строка говорит Prolog'у, что если первое число больше второго, то добавлять его в начало списка и вызывать рекурсивно range с новыми значениями. Поэтому, когда мы вызываем range(B,E,T), где B - это первое число, E - это второе число и T - это пустой список, Prolog будет генерировать список чисел от B до E, добавляя каждое число в начало списка до тех пор, пока не достигнет E.