min_list/2

Smallest element of a list.

Description

min_list(List, Min) is true if and only if Min is the smallest element of the list List.