prolog - 返回列表中的语句

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