find_all/3

Description

find_all/3 is a predicate that collects all solutions to a goal.

Signature

findall(?Template, +Goal, ?Bag)

Where:

• Template is the term to collect for each solution.
• Goal is the goal to find solutions for.
• Bag is unified with the list of collected solutions.