Prolog家族树程序问题：查询姐妹关系为何返回false而非所有结果

问题根源 #

你的sister规则存在两个关键问题：

1. 缺少X与Y为不同个体的约束：虽然查询sister('Laura','Jack')时，Laura和Jack显然不是同一个人，但当使用变量查询时，Prolog会尝试所有可能的绑定，包括X=Jack的情况——此时woman(Jack)为false，会被排除，但这会导致不必要的回溯；更重要的是，如果Y是女性，这个规则会错误地将一个人判定为自己的姐妹。
2. 变量绑定顺序的低效性：原规则先匹配parent(Z,X)，再匹配parent(Z,Y)，当X是变量时，Prolog会先遍历所有parent(Z,X)的事实，再检查是否与Y共享父母，这可能在某些情况下干扰变量查询的结果匹配。

针对你遇到的?- sister(X,'Jack')返回false的情况，核心原因是原规则没有明确排除X=Y的情况，导致Prolog在回溯时优先尝试无效绑定（如X=Jack），而没有正确定位到Laura等姐妹的有效绑定。

修复后的规则 #

sister(X,Y) :- 
    woman(X),          % 先过滤女性，减少无效回溯
    X \= Y,            % 明确排除X与Y为同一人的情况
    parent(Z,X),       % 确保X与Y共享至少一个父母
    parent(Z,Y).

可选优化（严格同父同母） #

如果你希望仅将同父同母的女性判定为姐妹，可以同时匹配父母双方：

sister(X,Y) :- 
    woman(X),
    X \= Y,
    parent(Father,X),
    parent(Father,Y),
    parent(Mother,X),
    parent(Mother,Y).

验证效果 #

修复后，查询?- sister(X,'Jack')会依次返回X='Laura'、X='Jessica'、X='Julia'（顺序取决于parent事实的定义顺序），而?- sister('Laura','Jack')依然会返回yes。

内容的提问来源于stack exchange，提问作者Ian Garcia Morini