prolog - Recopile todas las soluciones "mínimas" de un predicado

Cómo elegir entre bagof, setof y findall en Prolog