Стандартни предикати
findall(Template,Enumerator,List)
Намира всички екземпляри на Template, за които Enumerator е удовлетворим, и ги натрупва в списък по реда, в който те са намерени (т.е. първият намерен екземпляр се поставя като първи елемент на списъка, а последният - като последен елемент на списъка) и свързва List с този списък. Обикновено List е променлива, а Template е променлива или терм, чийто аргументи са променливи, но могат да бъдат и произволни