家庭树与SWI-Prolog

时间:2016-04-17 20:50:23

标签: prolog logic family-tree

我试图让一个简单的家谱与Prolog一起使用,最多允许3个事实,但我似乎无法将我的妹妹定义为我父母的孩子。这是我写的:

father(dad,me).
mother(mom,me).
siblings(me,sis).

parents(X,Z):-father(X,Z).
parents(Y,Z):-mother(Y,Z).
child(Z,X):-siblings(Z,Z2),parents(X,Z).
child(Z,Y):-siblings(Z,Z2),parents(Y,Z).
child(Z2,X):-siblings(Z,Z2),parents(X,Z).
child(Z2,Y):-siblings(Z,Z2),parents(Y,Z).
son(Z,X):-siblings(Z,Z2),parents(X,Z).
daughter(Z2,X):-siblings(Z,Z2),parents(X,Z).
brother(Z,Z2):-siblings(Z,Z2).
sister(Z2,Z):-siblings(Z,Z2).

当我在Prolog中输入father(ZFather,ZChild)时,它只显示me作为孩子,而不是sis。我知道我没有在事实中定义它,但我尝试在child(Z2,X)child(Z2,Y)的规则中这样做,这意味着Z2是我的sis

将不胜感激。

1 个答案:

答案 0 :(得分:2)

你的谓词父亲/ 2只描述了一个解决方案。如果您希望它描述更多但又不想添加更多事实,您可以为父亲添加规则:

father(F,C) :-
   dif(X,C),
   siblings(X,C),
   father(F,X).

如果您现在查询谓词:

   ?- father(X,Y).
X = dad,
Y = me ? ;
X = dad,
Y = sis ? ;
no

然而,从逻辑上讲,这不是一个非常干净的方法。毕竟,兄弟姐妹可能只分享同一个母亲(或者一般来说:只有一个父母)。最好不要仅限于3个事实。