setof(+Template, +Goal, -Set)
Equivalent to bagof/3, but sorts the result using sort/2 to get a
sorted list of alternatives without duplicates.
Is what i get, so i guess I'll have to hold ya hand.
+Template = the variable u want ie X, goal is the goal i.e a predicate that must be...