prolog - 将结果标记为列表？

Question

我想写一个谓词，可以使用预测 lucky/5 对所有幸运数字求和

:- use_module(library(clpfd)).

lucky(A,B,C,D,N) :-
L = [A,B,C,D],
L ins 0..9,
N #= A*1000+B*100+C*10+D,
A+B #= C+D,
labeling([],L).

sum_all():-
% I want to write a code that computes the sum of all lucky numbers

Answer 1

如果你的 Prolog 有库(aggregate)，你可以这样做

?- aggregate_all((count,sum(N)), lucky(_,_,_,_,N), (Count,Sum)).
Count = 670,
Sum = 3349665.