将查询扩展到prolog中的列表

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。 E.g：

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

L = [1,2]

是

在你的情况下

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