Finding the maximum

Define a predicate max(+List,?Max): given that List is a list of integers, Max is the biggest number in the list.
Hint

Back to the practical session of day 3.