我正在尝试查找一个人的所有兄弟。我创建了以下规则..

    find_all_brothers(Z):- findall(X,brother(X,Z),X0),write(X0).

这个规则可以工作，但是如果一个人有多个兄弟，它只会找到一个兄弟.. 我假设我需要以某种方式使用递归，但我有点卡住了！

回答：

如果你有这样的关系：

brother(sam, bill).brother(bill, fred).

如果你想找到bill的所有兄弟，你需要做更多的事情：

find_all_brothers(Z) :-    findall(X, (brother(X, Z) ; brother(Z, X)), X0), write(X0).

为了避免列表中出现重复的成员，可以使用setof来排序并只提供唯一成员：

find_all_brothers(Z) :-    setof(X, (brother(X, Z) ; brother(Z, X)), X0), write(X0).