Предикат "Пересечение множеств" - Prolog

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

Программа intersect " Пересечение множеств". Считать, что предикат intersect(X,Y,Z) истинен, если множество Z есть пересечение множеств X и Y. Например, intersect([a,b], [a,c,d,b], [a,d]) - истинно, а intersect([a,b], [b,a,c,d], [a,b,d]) - ложно.

Решение задачи: «Предикат "Пересечение множеств"»

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

domains
sl=symbol*
 
predicates
memb(symbol,sl)
intersect(sl,sl,sl)
 
clauses
 
memb(_,[]) :- fail.
memb(X,[X|_]) :- !.
memb(X,[_|T]) :- memb(X,T).
 
intersect([],_,[]).
intersect([H|T],Y,[H|R]) :- memb(H,Y),intersect(T,Y,R), !.
intersect([_|T],Y,R) :- intersect(T,Y,R), !.

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

В коде используется Prolog, система логического программирования.
Код содержит два домена: sl (символы) и пересечение множеств.
Есть два предиката: memb (принадлежит) и intersect (пересечение).
Для переменной _ (неизвестной) и пустого списка [] всегда будет ложь (fail).
Если X является первым элементом списка [X|_], то X принадлежит этому списку.
Если X является первым элементом списка [X|_], то X принадлежит этому списку.
Если X является последним элементом списка [_|T], то X принадлежит этому списку.
Если X является последним элементом списка [_|T], то X принадлежит этому списку.
Если X является первым элементом списка [X|_], то X принадлежит этому списку.
Если X является последним элементом списка [_|T], то X принадлежит этому списку.
Пересечение трех списков [] (пустой список), Y (второй список) и R (результат) всегда будет пустым списком [].
Если первый элемент H списка [H|T] принадлежит второму списку Y, то он также принадлежит третьему списку R.
Если первый элемент H списка [H|T] принадлежит второму списку Y, то он также принадлежит третьему списку R.
Если первый элемент H списка [H|T] принадлежит второму списку Y, то он также принадлежит третьему списку R.
Если первый элемент H списка [H|T] принадлежит второму списку Y, то он также принадлежит третьему списку R.
Если первый элемент H списка [H|T] принадлежит второму списку Y, то он также принадлежит третьему списку R.
Если первый элемент H списка [H|T] принадлежит второму списку Y, то он также принадлежит третьему списку R.
Если первый элемент H списка [H|T] принадлежит второму списку Y, то он также принадлежит третьему списку R.
Если первый элемент H списка [H|T] принадлежит второму списку Y, то он также принадлежит третьему списку R.
Если первый элемент H списка [H|T] принадлежит второму списку Y, то он также принадлежит третьему списку R.