PROLOG根据事实创建的列表的总和

Question

我想根据事实创建一个列表。 并且列表应仅包含事实中的一种。

例如 ：

%facts
abc(a, b, c).
abc(d, e, f).
abc(g, h, i).

样品：

?-lists(A).
  A = [a, d, g];
  No.

编辑：

使用Vaughn Cato在评论中的建议，代码变为：

%facts
abc(a, b, c).
abc(d, e, f).
abc(g, h, i).

lists(A) :-
    findall(findall(X, abc(X, _, _), A).

列表已创建，但是如何对列表A求和？

如果是来自查询的输入清单的总和，

sumlist([], 0).
sumlist([X|Y], Sum) :-
    sumlist(Y, Sum1),
    Sum is X + Sum1.

但是如果要对现有列表求和，如何定义谓词？

Answer 1

要对数字列表求和，例如由lists/1定义所产生的数字，大多数Prolog系统（例如GNU ， SWI ）实现sum_list/2 ，它将数字列表作为第一个参数，并将其和绑定在第二个参数中：

?- sum_list([1,2,3],Sum).
Sum = 6.

Answer 2

您也可以使用aggregate_all / 3解决。 如果您只需要一个总和，它就不需要在内存中建立列表。

sum_facts(Template, Arg, Sum) :-
   aggregate_all(sum(X), (call(Template), arg(Arg, Template, X)), Sum).

在此示例中，我使用定义了模板的通用调用：

sum_facts(abc(_, _, _), 1, Sum).

如果您始终将其与abc / 3的第一个参数一起使用，则此版本就足够了：

sum_facts(Template, Arg, Sum) :-
   aggregate_all(sum(X), abc(X, _, _), Sum).

Answer 3

正如Vaughn Cato所建议的那样，通过使用findall(X,abc(X, _ , _ ),A).可以对我有很大帮助findall(X,abc(X, _ , _ ),A). 创建我想要的列表。