prolog家谱定位表亲

Question

The Cousin Explainer

编写一个程序，当给定参考人和学位时，该程序可以告诉我该人拥有的所有第 n 个学位表亲。我从写我的事实开始：男/1女/1和孩子/2这些都是我家人的名字。然后我开始为堂兄弟写规则，我想我会为每个学位写不同的规则，所以只有第三代堂兄弟。我遇到的问题如下。

1. firstCousin_of(X,Y):-child(X,Z1),child(Y,Z2),child(Z1,Z),child(Z2,Z).我有这个可以找到第一个表亲，但第二个表亲更复杂，这让我觉得必须有一种方法可以递归地做到这一点。
2. 我需要规则 all_cousins(Person, Degree, ListOfCousins)，它在找出所有第 n 级表亲后编辑所有表亲列表以仅包括那些特定的第 n 级表亲。我已经习惯了命令式语言，我所能想到的就是如何将人们从列表中删除的规则传达给另一个规则。
3. 最后我有一条规则，all_cousinsRemoved(Person, Degree, removed(Number, Direction), ListOfCousins)，我什至不知道从哪里开始，但我需要 all_cousins 规则，因为它做同样的事情，但也只包括编辑列表中的表亲 w=that被向上或向下删除第 n 次。

Answer 1

最好的解决办法是制定几个规则来调用其他规则，这里是一个例子

male(dicky).
male(randy).
male(mike).
male(don).
male(elmer).
female(anne).
female(rosie).
female(esther).
female(mildred).
female(greatgramma).
male(blair).
male(god).
female(god).

parent(don,randy).
parent(don,mike).
parent(don,anne).
parent(rosie,randy).
parent(rosie,mike).
parent(rosie,anne).
parent(elmer,don).
parent(mildred,don).
parent(esther,rosie).
parent(esther,dicky).
parent(greatgramma,esther).
parent(randy,blair).

male(mel).
male(teo).
parent(melsr,mel).
parent(melsr,teo).

american(anne).
american(X) :-  ancestor(X,anne).
american(X) :- ancestor(anne,X).
relation(X,Y) :- ancestor(A,X), ancestor(A,Y).

father(X,Y) :- male(X),parent(X,Y).
father(god, _) :- male(god).
mother(X,Y) :- female(X),parent(X,Y).
son(X,Y) :- male(X),parent(Y,X).
daughter(X,Y) :- female(X),parent(Y,X).
grandfather(X,Y) :- male(X),parent(X,Somebody),parent(Somebody,Y).
aunt(X,Y) :- female(X),sister(X,Mom),mother(Mom,Y).
aunt(X,Y) :- female(X),sister(X,Dad),father(Dad,Y).
sister(X,Y) :- female(X),parent(Par,X),parent(Par,Y), X \= Y.
uncle(X,Y) :- brother(X,Par),parent(Par,Y).
cousin(X,Y) :- uncle(Unc , X),father(Unc,Y).
ancestor(X,Y) :- parent(X,Y).
ancestor(X,Y) :- parent(X,Somebody),ancestor(Somebody,Y).
brother(X,Y) :-  male(X),parent(Somebody,X),parent(Somebody,Y), X \= Y.

Retrived from this repository