# coding=utf-8

id = 108
group = 'lists'
number = 15
visible = True
facts = None

solution = '''\
min([X], X).
min([H|T], Min):-
  min(T, Min1),
  ( H < Min1, Min is H
    ;
    H >= Min1, Min is Min1 ).
'''