forall - Prolog

Может ли кто-нибудь объяснить, как предопределенный предикат для всех должен находить минимальные значения в списке?