smallest([H], H).
smallest([H|T], S) :-
	smallest(T, E),
	(H<E -> S is H; S is E).