在列表中添加整数

Question

由于某种原因，这不起作用。我得到： 错误：is/2：参数未充分实例化

1 add_list([]).
2 add_list([H|T]):-
3                 Sum2 is Sum1 + H,
4                 add_list(T).

我正在尝试添加列表的内容（仅包含数字）。

Answer 1

我不确定你想做什么。但是，如果您尝试计算总和，则会这样（将名称更改为 list_sum，因为 add_list 没有任何意义）：

list_sum([], 0).
list_sum([H|T], Sum):-
    list_sum(T, SubSum),
    Sum is SubSum + H.

Answer 2

您可以使用 Foldl 拥有“功能性思维”：

foldl(_P, [], V, V).

foldl(P, [H|T], V1, VF) :-
    call(P, H, V1, V2),
    foldl(P, T, V2, VF).


sum_list(L, S) :-
    foldl(add, L, 0, S).


add(X, Y, Z) :-
    Z is X+Y.

Answer 3

或者，您也可以使用累加器（优点是，它是尾递归的，因此可以优化）

list_sum(L,R) :- list_sum(L,0,R).   
list_sum([],A,A). 
list_sum([H|T],A,R) :- A1 is A + H, list_sum(T,A1,R).