min_list(? Numbers, ? Min)*
True when Numbers is a list of numbers, and Min is the minimum.
1. prolog::min_list_2::min_list/2(int ARG1, int ARG2)():