Prolog findall / 3
Digamos que tengo un predato predicado que contiene varios hechos.
pred(a, b, c).
pred(a, d, f).
pred(x, y, z).
¿Puedo usar findall / 3 para obtener una lista de todos los datos que se pueden combinar con un patrón?
por ejemplo, si tengo
pred(a, _, _)
Me gustaria obtener
[pred(a, b, c), pred(a, d, f)]