set_of/3

Description

set_of/3 is a predicate that collects unique solutions to a goal in sorted order.

Signature

setof(?Template, +Goal, ?Set)

Where:

• Template is the term to collect for each solution.
• Goal is the goal to find solutions for.
• Set is unified with the sorted list of unique solutions.