- answer_set(?Var, :Goal, -SortedSet) is det
- answer_set(?Var, :Goal, +MaxResults, -SortedSet) is det
- SortedSet is the set of bindings for Var for which Goal is true. The predicate answer_set/3 is the same as findall/3 followed by sort/2. The predicate answer_set/4 limits the result to the first MaxResults. Note that this is not the same as the first MaxResults from the entire answer set, which would require computing the entire set.