Числовой список, найти максимальные и минимальные элементы - Prolog

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

Дан числовой список найти максимальные и минимальные элементы в нём

Решение задачи: «Числовой список, найти максимальные и минимальные элементы»

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

domains
int=integer
intl=int*
 
predicates
min(intl,int)
max(intl,int)
flt(intl,int,intl)
task(intl,intl,intl)
 
clauses
min([X],X).
min([X|H],X) :- min(H,M), M>=X.  
min([X|H],M) :- min(H,M), M<X.
 
max([X],X).
max([X|H],X) :- max(H,M), M<X.  
max([X|H],M) :- max(H,M), M>=X.
 
flt([],_,[]).
flt([H|T],H,[H|Z]) :- flt(T,H,Z).
flt([Q|T],H,Z)     :- Q<>H,flt(T,H,Z).
 
task(X,Min,Max) :- min(X,Mi), max(X,Ma),flt(X,Mi,Min),flt(X,Ma,Max).

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

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

В первой строке объявлены типы данных: int - целочисленный, intl - список целых чисел.
Затем определены три предиката: min, max, flt.
Предикат min находит минимальный элемент в списке.
Предикат max находит максимальный элемент в списке.
Предикат flt сортирует список по возрастанию и устанавливает необходимые значения.
В последней строке определён предикат task, который находит минимальный, максимальный элементы и сортирует список по возрастанию и по убыванию. Пример использования: ?- task([5, 3, 8, 1, 2], X, Y). Вывод: X = 1, Y = 8.