Пролог: магазин решений в списке

Question

Это очень простой вопрос;)

---

факт (а).

факт (b).

тест (X): - факт (X).

решения X = a; Х = Ь. OK

Я пытаюсь создать: test (X, L): - факт (X), ??? что возвращает L = [a, b]

Может кто-нибудь мне помочь? Благодарю.

Answer 1

Применение findall/3 к aggregate решения:

test(L):- 
    findall(X, fact(X), L).