Определить предикат предки по женской линии и найти всех предков по женской линии и предков конкретного лица

predicates
    parent(symbol,symbol)
    male(symbol)
    /*snachala muj, potom jena*/
    married(symbol,symbol)
    brosis(symbol,symbol)
    son(symbol,symbol)
    daughter(symbol,symbol)
    father(symbol,symbol)
    mother(symbol,symbol)
    sister(symbol,symbol)
    brother(symbol,symbol)
    grandson(symbol,symbol)
    granddaughter(symbol,symbol)
    grandfather(symbol,symbol)
    grandmother(symbol,symbol)
    uncle(symbol,symbol)
    aunt(symbol,symbol)
    nephew(symbol,symbol)
    niece(symbol,symbol)
    cousingirl(symbol,symbol)
    cousinboy(symbol,symbol)
        bab(symbol,symbol)      
clauses
    parent(ludmila,petr).
    parent(ludmila,elena).
    parent(victor,petr).
    parent(victor,elena).
    parent(lidia,sergey2).
    parent(lidia,anna).
    parent(sergey1,sergey2).
    parent(sergey1,anna).
    parent(elena,alexandr).
    parent(elena,semen).
    parent(sergey2,alexandr).
    parent(sergey2,semen).
    parent(anna,svetlana).
    parent(vasiliy,svetlana).
    male(victor).
    male(sergey1).
    male(petr).
    male(sergey2).
    male(vasiliy).
    male(alexandr).
    male(semen).
    married(victor,ludmila).
    married(sergey1,lidia).
    married(sergey2,elena).
    married(vasiliy,anna).
    brosis(X,Y):-parent(Z,X),parent(Z,Y),X<>Y.
    son(X,Y):-male(X),parent(Y,X).
    daughter(X,Y):-not(male(Y)),parent(Y,X).
    sister(X,Y):-not(male(X)),parent(Z,X),parent(Z,Y).
    brother(X,Y):-male(X),parent(Z,X),parent(Z,Y).
    father(X,Y):-male(X),parent(X,Y).
    mother(X,Y):-not(male(X)),parent(X,Y).
    grandson(X,Y):-son(X,Z),parent(Y,Z).
    granddaughter(X,Y):-daughter(X,Z),parent(Y,Z).
    grandfather(X,Y):-father(X,Z),parent(Z,Y).
    grandmother(X,Y):-mother(X,Z),parent(Z,Y).
    uncle(X,Y):-male(X),brother(X,Z),parent(Z,Y).
    aunt(X,Y):-not(male(X)),sister(X,Z),parent(Z,Y).
    nephew(X,Y):-male(X),parent(Z,X),brosis(Z,Y).
    niece(X,Y):-not(male(X)),parent(Z,X),brosis(Z,Y).
    cousingirl(X,Y):-not(male(X)),parent(Z,X),parent(A,Y),brosis(Z,A).
    cousinboy(X,Y):-male(X),parent(Z,X),parent(A,Y),brosis(Z,A).
    bab(X,Y):-grandmother(X,Z),male(Z),parent(B,Z),parent(C,Y),
              parent(D,B),parent(D,C),B<>C.

predicates
descendant(symbol,symbol)
wdescendant(symbol,symbol)
child(symbol,symbol)
man(symbol)
woman(symbol)
 
clauses
 woman(mary).
 woman(nancy).
 woman(lora).
 woman(eliz).
 woman(elen).
 woman(elina).
 woman(kate).
 man(john).
 man(greg).
 man(liam).
 man(bred).
 man(job).
 man(tom).
 child(mary,john).
 child(nancy,mary).
 child(lora,greg).
 child(lora,eliz).
 child(greg,kate).
 child(eliz,elen).
 child(elen,tom).
 child(elen,bred).
 child(tom,elina).
 
descendant(X,Y):-child(X,Y).
descendant(X,Z):-child(X,Y), descendant(Y,Z).
wdescendant(X,Z):-descendant(X,Z),woman(X),woman(Z).

domains
  s=symbol 
predicates
  ancestor(s,s)  
  parent(s,s)
  male(s)
  female(s)
  mother(s,s)
 
clauses
male(bob).
male(tom).
male(patrick).
 
female(ann).
female(samy).
female(liz).
female(elina).
female(johanna).
female(aleksa).
female(erika).
female(jess).
 
  parent(ann,liz). 
  parent(bob,liz).
  parent(ann,samy).
  parent(samy,patrick).
  parent(samy,johanna).
  parent(johanna,erika).
  parent(johanna,jess).
  parent(liz,jack).
  parent(liz,elina).
  parentelina,aleksa).
 
  mother(X,Y):- parent(X,Y).
  ancestor(X,Z):- parent(X,Y),ancestor(Y,Z).    
  ancestor(X,Z):- parent(X,Z), female(X), female(Z).

domains
  s=symbol 
predicates
  
aancestor(s,s)
ancestor(s,s)  
  parent(s,s)
  male(s)
  female(s)
  
clauses
male(bob).
male(tom).
male(patrick).
 
female(ann).
female(samy).
female(liz).
female(elina).
female(johanna).
female(aleksa).
female(erika).
female(jess).
 
  parent(ann,liz). 
  parent(bob,liz).
  parent(ann,samy).
  parent(samy,patrick).
  parent(samy,johanna).
  parent(johanna,erika).
  parent(johanna,jess).
  parent(liz,jack).
  parent(liz,elina).
  parent(elina,aleksa).
 
  ancestor(X,Y):- parent(X,Y).
  ancestor(X,Z):- parent(X,Y),ancestor(Y,Z).    
  aancestor(X,Z):- parent(X,Z), female(X), female(Z).