Prolog家庭树建模代码问题咨询

事实层的结构问题 #

• 母系亲子关系完全缺失：当前所有parent/2事实只录了父系侧的亲子连接，已经标注了性别的女性角色（比如Sufia、Bilkis、Rekha）都没有绑定和对应子女的parent关系，直接会导致mother/2这类依赖母系的规则查不出任何有效结果。
• 未关联的性别声明属于冗余数据：录入的大量male/1、female/1角色（比如Khazal、Jahorul、Naim、各类标注为配偶的角色），既没有绑定亲子关系，也没有其他亲属关系连接，属于无效冗余事实，容易在规则匹配时跑出大量无意义的干扰结果。
• 婚姻关系事实缺位：所有标注为配偶的角色（比如NWife、JHusband、TSWife），没有对应的婚姻关系事实支撑，后续扩展姻亲类规则时没有可用的基础数据。

规则层的逻辑硬错误 #

• 基础亲属谓词语义方向完全写反：
  • 原代码中son(X,Y):-parent(X,Y),male(X).、daughter(X,Y) :- female(X),parent(X,Y).的判定逻辑和日常语义完全颠倒：当前实现将“X是Y的家长、X是男性/女性”作为判定依据，会把所有父子、母子关系同时误判为子女关系，和已经编写正确的mother/2、father/2规则直接冲突。正确逻辑应该是son(X,Y) :- parent(Y,X), male(X)——即X是男性，Y是X的家长时，X才是Y的儿子。
• sister/2规则的性别判断对象搞反了：原代码写的是sister(X,Y) :- female(Y),parent(Par,X),parent(Par,Y), X \= Y.，本该判断X是不是女性（也就是X是Y的姊妹），结果代码判断了Y是不是女性，导致查询姊妹关系时所有结果都匹配不上，甚至会把男性角色误判为符合条件的姊妹。
• 远亲规则直接调用了不存在的谓词：最后两条隔代表亲的规则中写了要匹配cousin(Z,Y)的关系，但整个代码里从未定义过名为cousin/2的谓词，仅定义过firstCousin/2、secondCousin/2，实际运行这两条规则时会直接报“找不到对应谓词”的错误，根本无法执行。
• 表亲规则缺少近邻关系排除，存在错判问题：
  • firstCousin/2现在的判定逻辑是只要两个人有同一个祖父母就算第一代表亲，但亲兄弟姐妹本身共享父母，自然也共享同一祖父母，所以亲兄弟姐妹会被重复判定成第一代表亲，返回大量重复的错误结果。
  • secondCousin/2现在的逻辑是只要两个人的祖父母是同胞就算二代表亲，没有排除更近的旁系关系，很容易把堂/表叔侄这类跨两代的近亲属误判为二代表亲。
• 隔代表亲的规则逻辑不完整，存在漏判问题：
  • firstcousinOnceRemoved/2现在只判断“X是Z的孩子，Z和Y是表亲”这一种单向场景，反过来如果Y是Z的孩子，X是Z的表亲，这种同样属于隔一代表亲的情况，当前规则完全匹配不到，会漏掉一半的有效结果。
  • firstcousinTwiceRemoved/2直接从X跳到孙辈Z做表亲匹配，没有考虑中间代的传递逻辑，同样会漏掉很多符合条件的关系。
• sibling/2规则存在重复匹配隐患：后续补全母系亲子关系后，每一对同胞会同时通过父系、母系两个共同家长被匹配两次，同一个亲属关系会返回多遍冗余结果。

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