如何为prolog创建兄弟谓词？

Question

我被告知创建一个兄弟谓词，找出兄弟是否有兄弟姐妹。 Brother(B, S) :-。我知道你需要知道他们是否有同样的父母，但我不知道该怎么做。

father(dan,phil).
father(dan,jack).
father(dan,christine).
father(phil,kenton).
father(phil,shula).
father(phil,david).
father(phil,elizabeth).
father(jack,lillian).
father(jack,tony).
father(jack,jenny).
father(tony,tommy).
father(tony,helen).
father(tony,john).
father(roger,adam).
father(roger,debbie).
father(brian,kate).
father(david,pip).
father(david,josh).
father(mark,daniel).

mother(doris,phil).
mother(doris,jack).
mother(doris,christine).
mother(jill,kenton).
mother(jill,shula).
mother(jill,david).
mother(jill,elizabeth).
mother(peggy,lillian).
mother(peggy,tony).
mother(peggy,jenny).
mother(pat,tommy).
mother(pat,helen).
mother(pat,john).
mother(jenny,adam).
mother(jenny,debbie).
mother(jenny,kate).
mother(ruth,pip).
mother(ruth,josh).
mother(shula,daniel).

male(dan).
male(phil).
male(jack).
male(kenton).
male(david).
male(tony).
male(brian).
male(roger).
male(mark).
male(john).
male(tommy).
male(adam).
male(daniel).
male(josh).

female(doris).
female(jill).
female(peggy).
female(christine).
female(shula).
female(ruth).
female(elizabeth).
female(lillian).
female(pat).
female(jenny).
female(helen).
female(debbie).
female(kate).
female(pip).

dead(dan).
dead(doris).
dead(jack).
dead(mark).
dead(john).
dead(fred).


parent(X,Y) :-
        father(X,Y); mother(X,Y).

grandfather(X,Y) :-
        father(X,Z), mother(Z,Y).
grandfather(X,Y) :-
        father(X,Z), father(Z,Y).

ancestor(X,Y) :- parent(X,Y).
ancestor(X,Y) :- parent(X,Z), ancestor(Z,Y).

archer(dan).
archer(X) :- father(P,X), archer(P).

这是我所定义的父母，祖父等的文件。 我需要创建一个兄弟谓词，它就像兄弟一样（B是兄弟，S是兄弟姐妹）。例如兄弟（利亚姆，格鲁吉亚）。利亚姆是格鲁吉亚的兄弟应该是真的

Answer 1

您可以首先提供brother(B,S)的正式定义来解决您的问题：

  

slibing <{em> B 的兄弟S是male/1 ，   相同的father/2 F和mother/2 M。

现在我们知道这一点，我们为每个条件写一行或多行。

第一个只是条款的主管：

brother(B,S) :-

既然兄弟是male/1，我们检查的第一个条件是：

    male(B),

接下来，我们必须检查它们是否具有相同的father/2。因此，我们定义父F，而F必须是B的父亲，所以我们写道：

    father(F,B),

因为父亲也必须是S的父亲，所以我们写道：

    father(F,S),

同样适用于mother：我们定义了一位母亲M，并检查这位母亲是B和S的母亲：

    mother(M,B),
    mother(M,S).

现在把它们放在一起我们得到：

brother(B,S) :-
    male(B),
    father(F,B),
    father(F,S),
    mother(M,B),
    mother(M,S).

现在的问题是，对于这个谓词，一个男性将成为他自己的兄弟。如果您不想要这种行为，我们会添加一个约束：

  

一个人不是自己的brother/2。

因此，您必须使用不等于谓词：

    B \= S.

或完整谓词：

brother(B,S) :-
    male(B),
    father(F,B),
    father(F,S),
    mother(M,B),
    mother(M,S),
    B \= S.

此谓词生成以下答案：

?- brother(B,S).
B = phil,
S = jack ;
B = phil,
S = christine ;
B = jack,
S = phil ;
B = jack,
S = christine ;
B = kenton,
S = shula ;
B = kenton,
S = david ;
B = kenton,
S = elizabeth ;
B = david,
S = kenton
...