4.30 Finding all Solutions to a Goal
All Application Manual Name SummaryHelp

Availability:built-in
Sourcefindall(+Template, :Goal, -Bag, +Tail)
As findall/3, but returns the result as the difference list Bag-Tail. The 3-argument version is defined as 
findall(Templ, Goal, Bag) :-
        findall(Templ, Goal, Bag, [])