sum_list(? Numbers, ? Total)*
True when Numbers is a list of numbers, and Total is their sum.
1. prolog::sum_list_2::sum_list/2(int ARG1, int ARG2)():