Angenommen, ich habe ein Prädikat-Prädikat, das mehrere Fakten enthält.

pred(a, b, c).
pred(a, d, f).
pred(x, y, z).

Kann ich findall / 3 verwenden, um eine Liste aller Fakten zu erhalten, die mit einem Muster abgeglichen werden können?

Zum Beispiel, wenn ich habe

pred(a, _, _) Ich würde gerne erhalten

[pred(a, b, c), pred(a, d, f)]