% findall.pl:  A quick example of findall, which uses the second argument
% to test the first argument, and builds a list (third argument) of those
% first arguments that allowed the second to be true.

fact(a).
fact(b).

main :- findall(X,fact(X),L), write(L).