プロローグファミリーツリー、いとこの問題

Question

プロローグプログラムで特定の人のいとこをすべて一覧表示しようとしていますが、動作させられないようです。私は自分のコードをチェックしたが、それは正しいようだが、私が望む出力が得られていない。

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. 

私は2人のいとこを返すようにcousins(X, william).を照会するとき、私はしたいが、私は唯一のリターンとして偽取得しています。私は間違って何をしていますか？

編集：HERESに私が今持っているが、わずか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.

Answer 1

を表示するために得ることができることは

データベースの絵です両親の間に関係がないからといって、いとこがいないことを示しています。あなたが興味を持っている場合

?- forall(cousins(X,william),writeln(X)). 
johnny 
peter 
betty 

は、グラフィカルな表現は、この最小限の「のり」のコードで、このgithub repoから入手することができます：

parent_child(P,C) :- parent(P,C). 

のは、未知のが、共有、祖父母を追加してみましょう