%факти:
male('Ярослав').
male('Олексій').
male('Володимир').
male('Михайло').
male('Борис').
male('Святослав').
male('Сергій').
male('Гліб').

female('Ганна').
female('Наталя').
female('Марина').
female('Таня').
female('Оля').
female('Йося').
female('Свєта').

relaship('Ярослав', 'Ганна').
relaship('Олексій', 'Наталя').
relaship('Володимир', 'Таня').
relaship('Михайло', 'Оля').
relaship('Святослав', 'Йося').


parent('Ярослав', 'Марина').
parent('Ярослав', 'Володимир').

parent('Ганна', 'Марина').
parent('Ганна ', 'Володимир').

parent('Олексій', 'Тетяна').
parent('Олексій', 'Світлана').

parent('Наталя', 'Тетяна').
parent('Наталя', 'Світлана').

parent('Володимир', 'Борис').
parent('Володимир', 'Святослав').
parent('Тетяна', 'Борис').
parent('Тетяна', 'Святослав').
parent('Михайло', 'Йосипина').
parent('Ольга', 'Йосипина').
parent('Святослав', 'Сергій').
parent('Святослав', 'Гліб').
parent('Йосипина', 'Сергій').
parent('Йосипина', 'Гліб').

%%запити
%"Хто є і батьками, і має батьків"
familys(X,Y):-
    child(X,Y),
    parent(X,_).
%"Хто не має дітей"
fams(X,Y):-
    descendant(X, Y),
    not(familys(X,Y)).
%мати
mother(X, Y) :-
    parent(X, Y),
    female(X).
%батько
father(X, Y) :-
    parent(X, Y),
    male(X).
%діти
child(X,Y) :-
    parent(Y, X).
%син
son(X, Y) :-
    child(X, Y),
    male(X).
%син
daughter(X, Y) :-
    child(X, Y),
    female(X).
%партнер
partner(X, Y) :-
    child(Z, X),
    child(Z, Y),
    X \= Y.
%сестра
sister(X, Y) :-
    sibling(X, Y),
    female(X),
    X \= Y.
%брат
brother(X, Y) :-
    sibling(X, Y),
    male(X),
    X \= Y.
%дядько
uncle(X, Y) :-
    brother(X, Z),
    child(Y, Z).
%тітка
aunt(X, Y) :-
    sister(X, Z),
    child(Y, Z).

grandparent(X, Y) :-
    parent(X, Z),
    parent(Z, Y).

grandchild(X, Y) :-
    grandparent(Y, X).
%дєдок
grandfather(X, Y) :-
    grandparent(X, Y),
    male(X).
%бабуля
grandmother(X, Y) :-
    grandparent(X, Y),
    female(X).
%теща
mother_in_law(X,Y) :-
    female(X),
    mother(X, Z),
    partner(Z, Y).
%тесть
father_in_law(X, Y) :-
    male(X),
    father(X, Z),
    partner(Z, Y).
%внучка
granddaughter(X, Y) :-
    grandchild(X, Y),
    female(X).
%внук
grandson(X, Y) :-
    grandchild(X, Y),
    male(X).

ancestor(X, Y) :-
    parent(X, Y).

ancestor(X, Y) :-
    parent(Z, Y),
    ancestor(X, Z).

descendant(X, Y) :-
    ancestor(Y, X).

relative(X, Y) :-
    ancestor(Z, X),
    ancestor(Z, Y).

sibling(X, Y) :-
    parent(Z, X),
    parent(Z, Y),
    X \= Y.



cousin(X, Y) :-
    grandparent(Z, X),
    grandparent(Z, Y),
    \+sibling(X, Y),
    X \= Y.

cousinonceremoved(X, Y) :-
    cousin(Z, Y),
    child(X, Z).

secondcousin(X, Y) :-
    greatgrandparent(Z, X),
    greatgrandparent(Z, Y),
    \+sibling(X, Y),
    \+cousin(X, Y),
    X \= Y.
%племінниця
nephew(X, Y) :-
    aunt(Y, X),
    male(X);
    uncle(Y, X),
    male(X).
%племінник
niece(X, Y) :-
    aunt(Y, X),
    female(X);
    uncle(Y, X),
    female(X).
%теща
h_mother_in_law(X,Y):-
    mother(X,K),
    male(Y),
    partner(K,Y).
%свекруха
w_mother_in_law(X,Y):-
    mother(X,K),
    female(K),
    partner(Y,K).
%тесть
h_father_in_law(X,Y):-
    father(X,K),
    male(K),
    partner(K,Y).
%свекор
w_father_in_law(X,Y):-
    father(X,K),
    female(X),
    partner(Y,K).
%зять
son_in_law(X,Y):-
    child(X,Z),
    not(child(X,Y)),
    partner(Z,Y),
    male(X).