%parent(родитель,ребенок,дата_рождения).
parent(tom,rid,1950).
parent(tom,ron,1952).
parent(tom,ann,1955).
parent(rid,jhon,1971).
parent(rid,lew,1977).
parent(ron,mary,1980).
parent(ron,liz,1982).
parent(ron,serg,1985).
parent(ann,pola,1975).
parent(jhon,ivan,1993).
parent(lew,kate,1999).
parent(lew,kiki,2002).
parent(mary,petr,2003).
parent(liz,alex,2005).
parent(liz,katerina,2009).
parent(serg,eva,2010).
parent(pola,luka,1993).
parent(luka,sam,2011).

%gender(пол,имя_человека).
gender(male,tom).
gender(male,rid).
gender(male,ron).
gender(male,jhon).
gender(male,lew).
gender(male,serg).
gender(male,sam).
gender(male,luka).
gender(male,alex).
gender(male,petr).
gender(male,ivan).
gender(famale,ann).
gender(famale,liz).
gender(famale,kate).
gender(famale,kiki).
gender(famale,mary).
gender(famale,katerina).
gender(famale,eva).

%isSyster(сестра,для_кого).  isSyster(A,B), т.е. А - сестра для В
isSyster(A,B):-gender(famale,A),parent(X,A,_),parent(X,B,_), A\=B.

%grossFather(дед,внук_внучка).
grossFather(A,B):-parent(A,X,_),parent(X,B,_),gender(male,A).

%predok(A,B). А - предок для В
predok(A,B):-parent(A,B,_).
predok(A,B):-parent(A,C,_),predok(C,B).

/*
1.7:    parent(_,Child,_),gender(male,Child).
1.8:    grossFather(ron,_). - есть ли внучка?
        grossFather(ron,X),gender(famale,X). - как ее зовут?
1.9:    predok(Предок,petr).
1.10:   parent(X,Y,_).
*/