sum_list(? Numbers, + SoFar, ? Total)*
True when Numbers is a list of numbers, and Total is the sum of their total plus SoFar.
1. prolog::sum_list_3::sum_list/3(int ARG1, int ARG2, int ARG3)():