prolog::max_list/2

max_list(? Numbers, ? Max)*

True when Numbers is a list of numbers, and Max is the maximum.

Private-func:

1. prolog::max_list_2::max_list/2(int ARG1, int ARG2)():