prolog::min_list/2

min_list(? Numbers, ? Min)*

True when Numbers is a list of numbers, and Min is the minimum.

Private-func:

1. prolog::min_list_2::min_list/2(int ARG1, int ARG2)():