lists:min_list/2

Availability::- use_module(library(lists)).(can be autoloaded)

Source

[semidet]min_list(+List:list(number), -Min:number)

True if Min is the smallest number in List. Fails if List is empty.

See also: min_member/2.