4.30 Finding all Solutions to a Goal
AllApplicationManualNameSummaryHelp

Availability:built-in
Source[ISO]setof(+Template, +Goal, -Set)
Equivalent to bagof/3, but sorts the result using sort/2 to get a sorted list of alternatives without duplicates.
ClioPatria (version no GIT?)