findall/3 is a special case of
bagof/3, where all free
variables in the generator are taken to be existentially quantified.
Thus the use of the operator
^ is avoided. Because
findall/3 avoids the relatively expensive variable analysis done
findall/3 where appropriate rather than
bagof/3 can be considerably more efficient.
findall/3 was available in