Prolog家族关系，意外失败

谁能告诉我为什么我的姨妈关系不工作？每当我尝试调用它时它都会返回 false。

我在下面写的叔叔关系似乎运作得很好。我不明白有什么区别。我也尝试过 (not(mother(X,Y)). 最后也但这并没有改变任何东西。

/* FACTS */
parents(david, george, noreen).
parents(jennifer, george, noreen).
parents(georgejr, george, noreen).
parents(scott, george, noreen).
parents(joanne, george, noreen).
parents(jessica, david, edel).
parents(clara, david, edel).
parents(michael, david, edel).
parents(laura, georgejr, susan).
parents(anna, scott, siobhan).


/* Relationships */
father(X, Y) :- parents(Y, X, _).
male(X) :- father(X, _).

mother(X, Y) :- parents(Y, _, X).
female(X) :- mother(X, _).

grandfather(X, Y) :- father(X, Z), father(Z, Y).
grandfather(X, Y) :- father(X, Z), mother(Z, Y).

grandmother(X, Y) :- mother(X, Z), mother(Z, Y).
grandmother(X, Y) :- mother(X, Z), father(Z, Y).

brother(X, Y) :- male(X), father(Z, X), father(Z, Y).

sister(X, Y) :- female(X), father(Z, X), father(Z, Y).

aunt(X,Y) :- sister(X,Z), parents(Y, Z, _).
aunt(X,Y) :- sister(X,Z), parents(Y, _, Z).

uncle(X, Y) :- brother(X, Z), parents(Y, Z, _), not(father(X,Y)).
uncle(X, Y) :- brother(X, Z), parents(Y, _, Z), not(father(X,Y)).

简短的回答是uncle正在工作（某种程度上）并且aunt不是因为你的定义male and female缺陷是：它无法识别男性或女性，除非他们有孩子。在你的一组事实中，没有女性（从名字来看）会生孩子并且有一个有孩子的兄弟姐妹。正是出于同样的原因scott不应该出现在叔叔的名单中。

解决这个问题很简单：您可以

1. 放弃推断性别的规则并改为陈述性别，或者
2. 更换parents事实与son/daughter事实+parents规则，并根据某人是某人的女儿这一事实来推断性别。