Дублирование ответа при нахождении двоюродного брата - Prolog

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

male(vasiliy).
male(innokentiy).
male(eduard).
male(vadim).
male(victor).
male(konstantin).
male(alex).
male(sergey).
male(alexandr).
male(vladimir).
male(danil).
male(egor).
 
female(larisa).
female(anna).
female(lyuba).
female(vera).
female(alla).
female(galyna).
female(rita).
female(iryna).
female(olesya).
female(kristina).
 
parent(vasiliy, alla).
parent(larisa, alla).
 
parent(innokentiy, victor).
parent(anna, victor).
 
parent(eduard, konstantin).
parent(lyuba, konstantin).
 
parent(vadim, galyna).
parent(vera, galyna).
 
parent(victor, rita).
parent(victor, sergey).
parent(alla, rita).
parent(alla, setgey).
 
parent(konstantin, iryna).
parent(konstantin, alexandr).
parent(galyna, iryna).
parent(galyna, alexandr).
 
parent(alex, vladimir).
parent(rita, vladimir).
 
parent(sergey, danil).
parent(sergey, kristina).
parent(iryna, danil).
parent(iryna, kristina).
 
parent(alexandr, egor).
parent(olesya, egor).
 
married(vasiliy, larisa).
married(larisa, vasiliy).
 
married(innokentiy, anna).
married(anna, innokentiy).
 
married(eduard, lyuba).
married(lyuba, eduard).
 
married(vadim, vera).
married(vera, vadim).
 
married(victor, alla).
married(alla, victor).
 
married(konstantin, galyna).
married(galyna, konstantin).
 
married(alex, rita).
married(rita, alex).
 
married(sergey, iryna).
married(iryna, sergey).
 
married(alexandr, olesya).
married(olesya, alexandr).
 
sibling(B, G):- parent(P,B), parent(P,G), B\=G.
cousin(X, Y):- parent(M,X), parent(D,Y), sibling(M,D), male(X), X\=Y.

Решение задачи: «Дублирование ответа при нахождении двоюродного брата»

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

?- X=danil, setof(X-Y,cousin(X, Y),C).
X = danil,
C = [danil-egor, danil-vladimir].

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

В данном коде:

Переменная X равна danil.
Используется функция setof, которая принимает три аргумента: X-Y, cousin(X, Y) и C.
X-Y - это выражение, в котором X и Y являются переменными, а cousin(X, Y) - это предикат, который проверяет, является ли X двоюродным братом Y.
C - это переменная, которая будет содержать список пар X-Y, где X и Y являются двоюродными братьями.
Результатом выполнения программы будет список пар X-Y, где X и Y являются двоюродными братьями. В данном случае список содержит две пары: danil-egor и danil-vladimir.