Семейные отношения - Prolog

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

Для семей, изображенных на схеме: задайте факты типа: – мужчина (одноаргументный, всего 5 фактов), – женщина (одноаргументный, всего 4 факта), – родитель (двухаргументный, всего 8 фактов), – в браке (двухаргументный, всего 2 факта). Создайте двухаргументные предика'ты (первый аргумент входной, второй – выходной), определяющие для конкретного человека (указанного в первом аргументе): 1) мать/отца; 4) кровную сестру/брата; 2) дочь/сына; 5) сводную сестру/брата; 3) сестру/брата; 6) жену/мужа.

man('Олег').
man('Петя').
man('Коля').
man('Толя').
man('Вася').
 
woman('Катя').
woman('Юля').
woman('Люба').
woman('Оля').
 
parent('Катя','Юля').
parent('Катя','Петя').
parent('Олег','Юля').
parent('Олег','Петя').
parent('Люба','Оля').
parent('Люба','Толя').
parent('Вася','Толя').
parent('Вася','Коля').
 
married('Катя','Олег').
married('Люба','Вася').
 
mother(X,Y):-
    woman(Y),
    parent(Y,X).
father(X,Y):-
    man(Y),
    parent(Y,X).
 
son(X,Y):-
    man(Y),
    parent(X,Y).
daughter(X,Y):-
    woman(Y),
    parent(X,Y).
 
sister(X,Y):-
    woman(Y),
    (parent(Z,X),parent(Z,Y)),
    not(Y=X).
brother(X,Y):-
    man(Y),
   (parent(Z,X),parent(Z,Y)),
    not(Y=X).
 
biological_sister(X,Y):-
    woman(Y),
    (mother(X,M),mother(Y,M),father(X,F),father(Y,F)),
    not(Y=X).
biological_brother(X,Y):-
    man(Y),
    (mother(X,M),mother(Y,M),father(X,F),father(Y,F)),
    not(Y=X).
 
wife(X,Y):-
    woman(Y),
    married(Y,X).
husband(X,Y):-
    man(Y),
    married(X,Y).

Не могу разобраться со сводными сестрами/братьями, помогите, пожалуйста

Решение задачи: «Семейные отношения»

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

  (not(mother(X, _)); not(mother(Y, _)); mother(X, MX), mother(Y, MY), MX\=MY)

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

В коде идет проверка на то, что у двух людей нет общих родителей, а именно:

Либо у первого человека нет матери (not(mother(X, _))).
Либо у второго человека нет матери (not(mother(Y, _))).
У первого человека есть мать (mother(X, MX)).
У второго человека есть мать (mother(Y, MY)).
Мать первого человека не равна матери второго человека (MX\=MY).