Разверните запрос в список в 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.Например.:

?- bagof(X, (X = 1;X = 2), L).

L = [1,2]

ДА

В вашем случае это было бы

?- багоф(X, f(a,X), Выход).