Предикат определения множества объединения двух списков - Prolog

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

Помогите пожалуйста с заданием: Создать предикат определения множества объединения двух списков.

Решение задачи: «Предикат определения множества объединения двух списков»

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

app([],X,X).
app([H|T],X,[H|Y]) :- app(T,X,Y). 
 
memb(H, [ H | _ ] ) .
memb( Elem, [ _ | T ] ):-memb(Elem, T ).
 
setof([],[]).
setof([H|T],[H|Q]) :- not(memb(H,T)), setof(T,Q).
setof([H|T],Q)     :- memb(H,T), setof(T,Q).
 
union(X,Y,Z) :- app(X,Y,T), setof(T,Z).

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

Код решает задачу нахождения объединения двух множеств.

app([],X,X). - это факт, который говорит о том, что если первый аргумент пуст, то приложение (объединение) со вторым аргументом будет также пустым.
app([H|T],X,[H|Y]) :- app(T,X,Y). - это факт, который рекурсивно определяет приложение (объединение) трех аргументов. Второй аргумент всегда остается неизменным, а первый и третий аргументы передаются в следующую рекурсивную итерацию.
memb(H, [ H | _ ] ) . - это факт, который утверждает, что элемент H принадлежит списку [H|_], то есть списку, состоящему из H и любого дополнительного списка.
memb( Elem, [ _ | T ] ):-memb(Elem, T ). - это факт, который рекурсивно определяет принадлежность элемента к списку. Если список не является пустым, то его первый элемент можно проверить на принадлежность к элементу Elem.
setof([],[]). - это факт, который говорит о том, что если первый аргумент пуст, то результатом будет пустой список.
setof([H|T],[H|Q]) :- not(memb(H,T)), setof(T,Q). - это факт, который рекурсивно определяет функцию setof, которая возвращает список, содержащий все элементы из списка T, которые не содержатся в списке H.
setof([H|T],Q) :- memb(H,T), setof(T,Q). - это факт, который рекурсивно определяет функцию setof, которая возвращает список Q, если элемент H содержится в списке T.
union(X,Y,Z) :- app(X,Y,T), setof(T,Z). - это факт, который говорит о том, что объединение двух множеств X и Y можно получить с помощью функции app, а затем отфильтровать результат с помощью функции setof, чтобы исключить дубликаты. Таким образом, код определяет функцию union, которая принимает три аргумента: два множества и список, в который будут включены все элементы, которые принадлежат хотя бы одному из множеств.