Prolog Language Extra-logical Predicates All-solutions predicates


Example

Predicates that reason about all solutions are extra-logical. These are for example:

  • setof/3
  • findall/3
  • bagof/3