PROLOG 没有兄弟的叔叔关系

Question

我刚刚开始学习 PROLOG，我的任务是在家族树中创建 阿姨/叔叔 关系。可以使用 sister 关系创建姨妈关系，但必须在没有它的情况下创建叔叔关系。

目前的谓词有：男、女、父母 & 到目前为止创建的规则是：父亲、母亲、祖父、祖母、姐妹

这是我目前所拥有的：

sister(Sister,Individual):- 
female(Sister),
parent(X,Sister),
parent(X,Individual), 
Sister \= Individual.

aunt(Aunt, Individual):- sister(Aunt, X), parent(X, Individual).

如果不使用兄弟，我将如何创建 叔叔 关系？我知道 parent(parent(Individual)) == parent(uncle) 但是考虑到我目前的关系，我该怎么说呢？

提前感谢您的帮助！

Answer 1

我不会认为自己是 Prolog 中的佼佼者，但我相信这会奏效。有不对的地方请评论，我会改正的！

我们知道以下几点：

• 个人的叔叔必须是男性。
• 叔叔将与个人的父母共享父母。

因此，我们可以这样定义规则：

uncle(Uncle, Individual) :- 
    male(Uncle),            % The uncle must be male.
    parent(X, Individual),  % Assume there's some parent of the individual, X.
    parent(Y, Uncle),       % Assume there's some parent of the uncle, Y.
    parent(Y, X).           % Y must be the parent of X.