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

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

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