Prolog-如何在另一个列表中只对列表的一部分求和？

% 定义一个谓词sum_list/3，用于计算列表的一部分的和
% sum_list(List, Start, End, Sum)：计算列表List中从索引Start到索引End的元素的和为Sum

% 当Start等于End时，说明只有一个元素需要求和，直接返回该元素的值
sum_list(List, Start, End, Sum) :-
    Start =:= End,
    nth0(Start, List, Sum).

% 当Start小于End时，递归地计算列表的一部分的和
sum_list(List, Start, End, Sum) :-
    Start < End,
    NextStart is Start + 1,
    sum_list(List, NextStart, End, SubSum),
    nth0(Start, List, Element),
    Sum is Element + SubSum.

?- sum_list([1, 2, 3, 4, 5], 1, 3, Sum).
Sum = 9.