序言查找全部謂詞

Question

我試圖找到一個人的所有的兄弟。我已經創建了以下規則..

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

然而這工作，如果一個人有一個以上兄弟，然後它會只找到一個兄弟..我假設我不得不使用遞歸方式，但我有點卡住了！

Answer 1

如果你有這樣的關係：

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

而且要找到所有的法案的兄弟，你需要做的更多一點：

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).