我试图在我的 prolog 程序中列出一个特定人的所有表亲，但似乎无法让它工作。我检查了我的代码，它似乎是正确的，但我没有得到我想要的输出。
father(john, johnny).
father(john, peter).
father(josh, william).
father(simone, betty).
mother(mary, johnny).
mother(mary, peter).
mother(catherine, william).
mother(kate, betty).
parent(A,B) :- father(A,B).
parent(A,B) :- mother(A,B).
siblings(B,G) :- parent(P,B), parent(P,G), B\=G.
cousins(X,Y) :- parent(A,X), parent(B,Y), siblings(A,B), X\=Y.
我想在查询 cousins(X, william). 时返回 2 个表亲，但我只得到 false 作为返回。我做错了什么？
编辑:这是我现在拥有的，但只能显示 1 个堂兄
father(grandpa1, mary).
father(grandpa1, catherine).
father(grandpa2, john).
father(grandpa2, simone).
father(john, johnny).
father(john, peter).
father(josh, william).
father(simone, betty).
mother(grandma1, mary).
mother(grandma1, catherine).
mother(grandma2, john).
mother(grandma2, simone).
mother(mary, johnny).
mother(mary, peter).
mother(catherine, william).
mother(kate, betty).
parent(A,B) :- father(A,B).
parent(A,B) :- mother(A,B).
siblings(B,G) :- parent(P,B), parent(P,G), B\=G.
cousins(X,Y) :- parent(A,X), parent(B,Y), siblings(A,B), X\=Y.最佳答案
这是你的数据库的图片
这说明没有表亲，只是因为 parent 之间没有关系。让我们添加一个未知但共享的祖 parent :
?- forall(cousins(X,william),writeln(X)).
johnny
peter
betty
如果您有兴趣，可以从这个 github repo 获得图形表示。 ，使用这个最小的“胶水”代码:
parent_child(P,C) :- parent(P,C).
关于Prolog家谱，表亲问题，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/42358271/