Создать предикат принадлежности элемента множеству разности двух множеств - Prolog

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

Создать предикат принадлежности элемента множеству разности двух множеств

Решение задачи: «Создать предикат принадлежности элемента множеству разности двух множеств»

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

domains
int=integer
intl=int*
 
predicates
del(int,intl,intl)
diff(intl,intl,intl)
 
clauses
del(_,[],[]).
del(H,[H|T],T).
del(H,[Z|T],[Z|Q]) :- H<>Z, del(H,T,Q).
 
diff(X,[],X).
diff(X,[H|T],Y) :- del(H,X,Z),diff(Z,T,Y).

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

В этом коде определены два домена: int (целое число) и intl (множество целых чисел).
Также определены два предиката: del и diff.
Предикат del используется для удаления элемента из списка. Он принимает три аргумента: целое число H, список [H|T] и список T.
Если H равно _ (любому значению), то список [H|T] будет равен списку T.
Если H не равно Z, то предикат del рекурсивно вызывается с аргументами H, T и Q, где Q — это результат вызова del с аргументами H и T.
Предикат diff используется для нахождения разности между двумя списками. Он принимает три аргумента: список X, список [] и список Y.
Если X равно [], то список Y будет равен X.
Если X не равно [], то предикат diff рекурсивно вызывается с аргументами Z, T и Y, где Z — это результат вызова del с аргументами H и X, а Y — это результат вызова diff с аргументами Z, T и Y.