将元素追加到序言中的列表

Question

我有5个具有收入属性的成员的数据库。 我想总结所有成员的收入。 为此，我想创建一个收入列表并将其添加。

为了创建收入列表，我将附加谓词写为

append(Element, List, OutputList)

这会将元素添加到列表中，并在outputlist中返回它。

现在，我要获取每个成员的收入并将其放入列表中并添加列表中的元素。 但是我无法将所有元素都放在列表中。 您能否帮助我创建这两个谓词。 这是我编写的代码。

member(a,2).
member(b,1).
member(c,2).
member(d,3).
member(e,1).

append([],L,L).
append(Elem,L,X):- append([],[Elem|L],X).

% this add predicate is incorrect
add(L,X) :- member(_,Income),append(Income,L,L),X is L.

我想将输出列表生成为[2,1,2,3,1]并对它们求和，得到2 + 1 + 2 + 3 + 1 = 9。

Answer 1

您需要收集查询member(_, Income)所有结果，然后对其进行汇总。 要收集所有匹配结果，可以使用元谓词bagof ， setof或findall 。 您的任务可以通过简单地完成：

member(a,2).
member(b,1).
member(c,2).
member(d,3).
member(e,1).


sum([], 0).
sum([H|T], S) :-
    sum(T, S1),
    S is S1 + H.

然后查询：

findall(Income, m(_, Income), Incomes), sum(Incomes, S).

给你：

Incomes = [2, 1, 2, 3, 1],
S = 9