Prolog Recursion skipping same results...

How to remove repetitions using retract in this particular situation?...

Prolog: Failure driven loops...

Prolog - wolf goat cabbage...

How to avoid a meta argument warning in SICStus SPIDER?...

Correct use of findall/3, especially the last result argument...

Collect all "minimum" solutions from a predicate...

Why is there a difference in the output of setof between facts with a different amount of elements?...

How to check if any statisfying clause exists in Prolog without backtracking through all different p...

Prolog: existentially quantifying...

How to choose between bagof, setof and findall in Prolog...

Prolog setOf with Multiple Predicates...

How can I get facts from my knowledge base into a list?...

Prolog rule can condition to be before a date, but not after a date, why?...

Setof: Is there a way for early stopping?...

setof/3 inside setof/3 not working, but why?...

What is the Prolog operator `^` ("caret")?...

Prolog understanding setof/3 with ^ markings...

Non-destructive universal quantification in Prolog...

Prolog Query Duplicates...

run function with all possibilities resulted from other function...

How to order a list of tuples in Swi-Prolog...

setof creates many list instead of one list prolog...

Prolog bagof, setof, findall predicates...

setof/3 does not seem to be removing duplicates...

setof with compound predicate...

Prolog (Sicstus) - nonmember and setof issues...

Prolog (Sicstus) - setof and findall combination issues...

Prolog ensure a rule's return parameters are unique and in canonical order...

why findall/3 in swi-prolog ignores variable binding?...