Стандартни предикати
Съществуват три “стандартни” предиката за генериране на всички решения
- findall/3 събира всички екземпляри в реда, в който те са намерени, но не обработва свободни променливи вдясно
- setof/3 връща множество от екземпляри (списък в стандартния ред без повторения) и обработва свободни променливи вдясно
- bagof/3 хибрид между findall/3 и setof/3
-