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