Question

我一直试图在Prolog中找到一个国家的周长。

我有完成的谓词

borders(Country1, Country2, Length)

和

setof(Item, Condition, Set)

给出满足条件的所有项目列表。

为了获得周长，我尝试这样做：

circumference(C, Country) :-
    setof(X, borders(Country,_,X), Set),
    sum_list(Set,C).

sum_list([], 0).
sum_list([H|T], C) :-
   sum_list(T, Rest),
   C is H + Rest.

...但我得到的输出只是边界谓词中两个国家之间的长度。

我的测试：

?– circumference(C,angola).
C = 201 ;
C = 1376 ;
C = 2511 ;
C = 1110.

规则：

borders(angola,namibia,1376).
borders(angola,congo,201).
borders(angola,zambia,1110).
borders(angola,zaire,2511).

为什么C成为这些数字的总和？

Answer 1

我交换了周长/ 2个参数，但你明白了......

circumference(Country,C) :- aggregate(sum(Y),S^borders(Country,S,Y),C).

Answer 2

问题与其他国家/地区的变量绑定有关。起初它看起来很疯狂：

?- setof(X, borders(Country,_,X), Set).
Country = angola,
Set = [201] ;
Country = angola,
Set = [1376] ;
Country = angola,
Set = [2511] ;
Country = angola,
Set = [1110].

但是，如果你命名这个变量，那么它就会变得清晰：

?- setof(X, borders(Country,OtherCountry,X), Set).
Country = angola,
OtherCountry = congo,
Set = [201] ;
Country = angola,
OtherCountry = namibia,
Set = [1376] ;
Country = angola,
OtherCountry = zaire,
Set = [2511] ;
Country = angola,
OtherCountry = zambia,
Set = [1110].

它不能将它们组合在一起，因为另一个国家/地区不同，即使您对绑定所接收的值不感兴趣。使用setof/3的正确解决方案是使OtherCountry存在量化，这对于分组的目的无关紧要：

?- setof(X, OtherCountry^borders(Country,OtherCountry,X), Set).
Country = angola,
Set = [201, 1110, 1376, 2511].

在setof/3和bagof/3中，存在量化是一种说法，即OtherCountry将采用各种值，但您对分组的目的不感兴趣。有许多场景findall/3只生成一个结果，但您可能需要基于Goal参数中的其他一些变量进行单独分组，所以我认为了解这项技术甚至是好的虽然在这种情况下findall/3可能是一个更直接的解决方案。可以找到更多讨论on this answer。

Prolog - 列表成员的总和

2 个答案: