Пролог находка / 3
Скажем, у меня есть предикат pred, содержащий несколько фактов.
pred(a, b, c).
pred(a, d, f).
pred(x, y, z).
Могу ли я использовать findall / 3, чтобы получить список всех фактов, которые могут быть сопоставлены с шаблоном?
например, если у меня есть
pred(a, _, _)
Я хотел бы получить
[pred(a, b, c), pred(a, d, f)]