返回列表中的语句

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