递归数SWI-Prolog的

Question

我试图用这个温控功能来算整个欧洲人口：

printEuropePopulation(A) :- 
    country(_, X, _, _), 
    printEuropePopulation(A+X), 
    true. 
printEuropePopulation(A) :- write(A). 

和节目给了我

出局部栈的

当我打电话给我的功能

printE uropePopulation（0）

事实是这样的：

country("Slovenia",20,2009,27300). 
country("Finland",338,5238,35500). 
country("France",549,60876,33800). 

我怎样才能解决呢？提前致谢。

Answer 1

你不能用递归谓词来做到这一点，我认为？收集所有事实然后找到总和更容易。

total_population(Total) :- 
    findall(P, country_population(_, P), Ps), 
    list_sum(Ps, Total). 

在你定义你正在服用它似乎该地区，但我走在成千上万的人群：如果你想找到，因为现在你有你可以做一个递归谓词总和

country_population(C, P) :- country(C, _, P, _). 

所有的人口数（第二个参数？）在一个列表中。现在

list_sum([], 0). 
list_sum([X|Xs], Sum) :- 
    list_sum(Xs, S0), 
    Sum is S0 + X. 

可以查询它找到的country

?- total_population(P). 
P = 68123. 

的第二个参数的总和，但如果你正在使用SWI-Prolog的，你也可以使用一个库，被称为“聚集”，因为你可以用它来汇总例如总和：

?- aggregate_all(sum(P), country(_, _, P, _), Total_population). 
Total_population = 68123.