Построить список минимумов - Prolog

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

Задан список целых чисел L, сформировать список L1 из элементов: минимальный элемент всего списка L, минимальный элемент из последних n-1 элементов и т.д.

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

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

domains 
int=integer
intl=int*
 
predicates
min_elt(intl,int)
task(intl,intl)
 
clauses
 
min_elt([X],X).
min_elt([H|T],H) :- min_elt(T,Y), H<Y.
min_elt([H|T],Z) :- min_elt(T,Z), H>=Z.
 
task([],[]).
task([H|T],[A|R]) :- min_elt([H|T],A), task(T,R).

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

В коде используется язык программирования Prolog. Постановка задачи - построить список минимумов.

В первом предложении объявлены два домена: int - целое число, intl - список целых чисел.
Далее идут два предиката: min_elt - находит минимальный элемент в списке, task - основная функция, которая решает задачу.
Первое предложение в блоке clauses описывает рекурсивную функцию для списка, содержащего один элемент.
Второе и третье предложения в блоке clauses описывают рекурсивную функцию для списка, содержащего более одного элемента.
Четвертое и пятое предложения в блоке clauses описывают рекурсивную функцию для списка, содержащего более двух элементов.
Шестое и седьмое предложения в блоке clauses описывают основную функцию, которая рекурсивно вызывает функцию min_elt и функцию task.
Восьмое и девятое предложения в блоке clauses описывают рекурсивный вызов функции task.
Десятое и одиннадцатое предложения в блоке clauses описывают рекурсивный вызов функции min_elt.
Двенадцатое и тринадцатое предложения в блоке clauses описывают сравнение текущего элемента со следующим и возвращение минимального значения.
Последнее предложение в блоке clauses описывает базовый случай, когда список пустой.