Laba_1(FLP)

nikita.
alena.
sergey.
mikhail.
galina.
zinaida.
natasha.
misha.
dasha.

parent(natasha, dasha).
parent(misha, dasha).
parent(alena, nikita).
parent(sergey, nikita).
parent(mikhail, sergey).
parent(galina, sergey).
parent(zinaida, alena).
parent(galina, natasha).
parent(mikhail, natasha).

woman(alena).
woman(zinaida).
woman(galina).
man(nikita).
man(sergey).
man(mikhail).
man(misha).
woman(natasha).
woman(dasha).

mother(X, Y):-parent(X, Y), woman(X).
father(X, Y):-parent(X, Y), man(X).
grandma(X, Y):-parent(X, Z), parent(Z, Y), woman(X).
grandpa(X, Y):-parent(X, Z), parent(Z, Y), man(X).
sister(X, Y):-parent(Z, X), parent(Z, Y), woman(X).
brother(X, Y):-parent(Z, X), parent(Z, Y), man(X).
cousin(X, Y):-parent(Z, A), parent(Z, B), parent(A, X), parent(B, Y), woman(Y), man(X).


?-grandma(galina, Y), write(Y).