Prolog - Using Bagof...

Find all facts with matching predicates...

Prolog multiple predicates in findall/setof...

Using Pattern Matching in Prolog to Find Submultisets...

SWI Prolog usage of agregation...

Prolog : Ordering a list alphabetically...

the first query and duplicating elements in a list in Prolog...

Prolog - how to do setof that returns empty list instead of failing...

Don't repeat solutions in Prolog...

Prolog, finding largest value from a setOf list...

How do you get only one output from a swi-prolog query?...

Use of setof/3 with recursive call in GOAL gets wrong, why?...

existential qualifier in prolog, using setof / bagof...

Using a self-created list in prolog...

Prolog Find All Predicate...

Simple Prolog setof...

Check if variable is empty or filled...

How do I find all solutions to a goal in Prolog?...

Duplicate solutions...

setof/3 and NAF...