sumlist(? Numbers, ? Total)*
True when Numbers is a list of integers, and Total is their sum. The same as sum_list//22, please do use sum_list//22 instead.
1. prolog::sumlist_2::sumlist/2(int ARG1, int ARG2)():