Prolog謂詞half_sister_of（X，Y）的規則？

Question

對KB是

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). 

爲了用於Y爲X的半妹妹，它們必須共享一個父（A），和不共享的其他家長（B和C），並Y必須是女性。