Задачи на работу со списками - Prolog

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

помогите с решением 1. Найти наибольший и наименьший элементы списка и исключить из списка все их экземпляры. 2. Удалить из первого списка элементы, входящие во второй список только по одному разу.

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

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

domains
int=integer
intl=int*
 
predicates
 
max(intl,int)
min(intl,int)
remove(intl,int,intl)
task(intl,intl)
 
clauses
max([X],X).
max([H|T],H) :- max(T,Q), Q<H.
max([H|T],Q) :- max(T,Q), Q>=H.
 
min([X],X).
min([H|T],H) :- min(T,Q), Q>H.
min([H|T],Q) :- min(T,Q), Q<=H.
 
remove([],_,[]).
remove([X|T],X,Q) :- remove(T,X,Q).
remove([Y|T],X,[Y|Q]) :- X<>Y,remove(T,X,Q).
 
task(A,B) :- max(A,M1), min(A,M2), remove(A,M1,A1), remove(A1,M2,B).

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

В данном коде решается задача работы со списками.

В первой части кода объявлены три предиката:
- max(intl,int) - нахождение максимального элемента в списке intl;
- min(intl,int) - нахождение минимального элемента в списке intl;
- remove(intl,int,intl) - удаление указанного элемента из списка intl.
Во второй части кода определены три правила для каждого из предикатов:
- Для предиката max:
  - Если список пустой, то его максимальным элементом является сам список.
  - Если список не пустой, то максимальным элементом является первый элемент списка, и далее рекурсивно вызывается функция для оставшейся части списка, пока не будет достигнут элемент, который меньше текущего.
  - Если список не пустой, то минимальным элементом является последний элемент списка, и далее рекурсивно вызывается функция для оставшейся части списка, пока не будет достигнут элемент, который больше текущего.
- Для предиката min:
  - Если список пустой, то его минимальным элементом является сам список.
  - Если список не пустой, то минимальным элементом является первый элемент списка, и далее рекурсивно вызывается функция для оставшейся части списка, пока не будет достигнут элемент, который больше текущего.
- Для предиката remove:
  - Если список пустой, то после удаления элемента он остается пустым.
  - Если список не пустой, то после удаления элемента он сокращается на один элемент.
В третьей части кода определена задача task(A,B), которая решается следующим образом:
- Находится максимальный элемент в списке A с помощью функции max.
- Находится минимальный элемент в списке A с помощью функции min.
- С помощью функции remove из списка A удаляются все элементы, которые меньше найденного максимального элемента.
- С помощью функции remove из полученного списка удаляются все элементы, которые больше найденного минимального элемента.
- Полученный список B является ответом на задачу.