General
Material
Lecture 1
Lecture 2
Lecture 3
Lecture 4
Lecture 5

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.