:- ensure_loaded( library(lists) ). sum_list( List, Sum ) :- sumlist( List, Sum ).