Find all the solutions for a goal. 

Example:

f(a).

f(b).

?- findall( X, f(X), ListOfX ).