Prolog查询侄女侄子重复返回结果 侄子查询返回false问题求解

问题根因 #

1. 亲属关系逻辑错误：现有侄女、侄子规则的匹配逻辑为「Y的父母的兄弟姐妹的孩子」，对应Y的同辈表/堂亲，完全不符合「Y的兄弟姐妹的孩子」的晚辈侄女/侄子定义，导致返回结果完全错误。
2. 结果重复原因：sister_of、brother_of分别编写了同父、同母两条匹配规则，同父同母的亲属会同时触发两条规则，导致同一个结果返回两次。
3. 性别规则失效、侄子查询返回false：逻辑错误导致匹配链路完全偏离预期，符合条件的结果无法进入匹配范围，反而因为逻辑混乱返回不符合性别要求的错误结果。

解决方案 #

第一步：修正侄女、侄子规则 #

按照正确的亲属关系定义修改规则，移除冗余的辈分匹配逻辑：

niece_of(X,Y):-
  dif(X,Y),
  female(X), 
  parent_of(P,X),
  (brother_of(P,Y) ; sister_of(P,Y)).

nephew_of(X,Y) :-
  dif(X,Y),
  male(X), 
  parent_of(P,X),
  (brother_of(P,Y) ; sister_of(P,Y)).

第二步：优化兄弟姐妹规则，解决重复问题 #

先定义通用的兄弟姐妹关系，再派生兄弟、姐妹规则，添加截断避免重复匹配：

sibling_of(X,Y) :-
  X \= Y,
  parent_of(Parent,X),
  parent_of(Parent,Y).

sister_of(X,Y) :-
  female(X),
  sibling_of(X,Y),
  !.

brother_of(X,Y) :-
  male(X),
  sibling_of(X,Y),
  !.

验证说明 #

你当前提供的知识库中，liza没有兄弟姐妹，因此默认查询niece_of(X,liza)、nephew_of(X,liza)返回false为正常结果。如果需要测试功能，可以补充亲属事实，例如添加parent_of(daisy, john).，代表daisy是john的母亲，此时john为liza的同母异父哥哥，john的子女aron、elin即为liza的侄子、侄女，查询结果如下：

?- niece_of(X,liza).
X = elin.

?- nephew_of(X,liza).
X = aron.

无重复返回，性别匹配正确。

内容的提问来源于stack exchange，提问作者Liza Darwesh