Return語句列表中的

Question

如果我有如下關係：

? friend(tom, X). 
X = jim ; 
X = tom ; 
X = joe ; 
X = bob ; 
false. 

我怎樣才能把輸出分爲：

X = [jim, tom, joe, bob]. 

Answer 1

我想通了;我用bagof作爲解決方案謂語的一部分，具體如下：

bagof(X, friend(tom, X), Xs).