考虑下面的代码,在 中编译固执 .
文件 test.lp
.编译命令:clingo 0 test.lp
.
col(("rot";"blau")).
freq("rot","hell",2). freq("rot","dunkel",2). freq("rot","hell",5).
freq("blau","hell",20). freq("blau","dunkel",30). freq("blau","hell",50).
freq_sum(C,F) :- F = #sum{ X : freq(C,_,X) }, col(C).
%% does not work: >>error: syntax error, unexpected [, expecting {<<
% freq_sum(C,F) :- F = #sum[ X : freq(C,_,X) ], col(C).
#show freq_sum/2.
代码应该计算每种颜色的频率总和。对于
"red"
, 这应该是 9
对于 “blue"
这应该是 100
.对于 "red"
值 2
被计算两次。当我更换 {...}
通过 […]
,这应该使列表成为有序列表并提供有序总和,编译器提示 error: syntax error, unexpected [, expecting {
.我有 clingo version 4.5.4
.我的代码或编译器有问题吗?有人可以告诉我,我如何在 asp 中执行有序的求和?
最佳答案
万一有人遇到这个问题,我找到了解决方案。问题是版本 4 中的 cligo/gringo 版本不支持多集。只能通过 {...}
进入列表.尽管如此,还是有一种方法可以防止多个元素的折叠。
freq_sum(C,F) :- F = #sum{ X,H : freq(C,H,X) }, col(C).
命名发生索引的对象,允许列表中的每个项目被唯一标记,防止重复值被视为单个元素。我在 http://ceur-ws.org/Vol-1645/paper_9.pdf 的 §2 中找到了这个解决方案.
关于compiler-errors - asp (clingo) : why are ordered sums not working,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/41549083/