クエリをプロローグのリストに展開する

Question

クエリをリストに展開する方法

f(a,b).
f(a,c).
d(a.d).

expand(f(a,X), Out)  -----> Out=[b,c,d]

Answer 1

bagof / 3またはsetof / 3を使用します。例：

？-bagof（X、（X = 1; X = 2）、L）。

L = [1,2]

はい

あなたの場合、それは

？-bagof（X、f（a、X）、Out）。