Pesquisa Prolog / 3
Digamos que eu tenha um predicado pred contendo vários fatos.
pred(a, b, c).
pred(a, d, f).
pred(x, y, z).
Posso usar o findall / 3 para obter uma lista de todos os fatos que podem corresponder aos padrões?
por exemplo, se eu tiver
pred(a, _, _)
Eu gostaria de obter
[pred(a, b, c), pred(a, d, f)]