Prolog findall / 3
Powiedzmy, że mam predykat pred zawierający kilka faktów.
pred(a, b, c).
pred(a, d, f).
pred(x, y, z).
Czy mogę użyć findall / 3, aby uzyskać listę wszystkich faktów, które można dopasować do wzoru?
na przykład, jeśli mam
pred(a, _, _)
Chciałbym uzyskać
[pred(a, b, c), pred(a, d, f)]