Prolog述語half_sister_of（X、Y）の規則？

Question

キロバイトYがXの半妹であるためには

parent_of(john,ann). 
parent_of(mary,ann). 
parent_of(mary,sylvia). 
parent_of(brian,sylvia). 

female(sylvia). 
female(ann). 


?-Half_sister_of(X,Y). 
X=ann 
X=sylvia ; 

X=sylvia 
X=ann 

Answer 1

half_sister_of(X,Y) :- 
    parent_of(A,X), 
    parent_of(A,Y), 
    parent_of(B,X), 
    parent_of(C,Y), 
    not(A = B), 
    not(A = C), 
    not(B = C), 
    female(Y). 

であり、それらは片方の親（A）を共有し、他の親（B及びC）を共有してはならない、とYは女性でなければなりません。