如何在 prolog 查詢中列出超過 1 個 output？

Question

想象一下我的兄弟姐妹，我的表兄弟和我，我們的總數是 10。所以我編寫了這段代碼，當我運行它時，它只給了我 1 output。 如何在此查詢中打印所有 X 值（名稱）。 如果可能的話，我怎樣才能改變什么名字是第一位的，或者我如何選擇第三個或第五個名字？ （我的祖父是我祖父的兄弟。）

這是我的代碼和 output

granduncle(T,X) :- brother(T,Z),parent(Z,Y),parent(Y,X).


?- granduncle(john,X).
X=stan

Answer 1

您需要使用集合謂詞：

bagof/3 setof/3

和

findall/3

將所有解決方案收集到一個列表中。

例如：

bagof(X,granduncle(john,X),Bag).

將在Bag中創建解決方案列表。

然后，您可以使用以下謂詞對列表進行切片和切塊：

• sort/2
• exclude/2
• partition/4