Объединение двух списков без повторений - Prolog

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

Условие задачи:Даны два списка, имеющие ненулевое пересечение. Построить список, включающий все элементы указанных двух списков без повторений. пожалуйста, помогите решить. Заранее спасибо

Решение задачи: «Объединение двух списков без повторений»

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

domains
ilist=integer*
 
predicates
member(integer,ilist).
p(ilist,ilist,ilist).
 
clauses
member(H,[H|_]).
member(X,[_|Tail]):-member(X,Tail).
 
p([],B,B).
p([H|Tail],B,NewTail):-p(Tail,B,NewTail),member(H,NewTail),!.
p([H|Tail],B,[H|NewTail]):-p(Tail,B,NewTail).
 
goal
p([1,2,3,4,5],[8,7,6,5,4,3],A).

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

В этом коде используется язык программирования Prolog.
Задача программы - объединить два списка без повторений.
Для этого используется функция p, которая принимает три аргумента: первый и второй списки, и результат.
Функция member проверяет, является ли элемент первым в списке.
В первом списке элементы имеют вид [H|Tail], где H - текущий элемент, а Tail - остаток списка после текущего элемента.
Во втором списке элементы имеют вид [H|Tail].
Если текущий элемент первого списка присутствует во втором списке, то он добавляется в конец результата.
Если текущий элемент первого списка отсутствует во втором списке, то он просто добавляется в конец результата.
Результатом работы программы будет список, объединяющий элементы двух списков без повторений.
В данном случае, первый список [1,2,3,4,5], второй список [8,7,6,5,4,3], и результатом будет [1,2,3,4,5,8,7,6].