# coding=utf-8

id = 109
group = 'lists'
number = 16
visible = True
facts = None

solution = '''\
max([X], X).
max([H|T], Max):-
  max(T, Max1),
  ( H > Max1, Max is H
    ;
    H =< Max1, Max is Max1 ).
'''