- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
考虑下面的代码,在 中编译固执 .
文件 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
.我的代码或编译器有问题吗?
最佳答案
万一有人遇到这个问题,我找到了解决方案。问题是版本 4 中的 cligo/gringo 版本不支持多集。只能通过 {...}
进入列表.尽管如此,还是有一种方法可以防止多个元素的折叠。
freq_sum(C,F) :- F = #sum{ X,H : freq(C,H,X) }, col(C).
关于compiler-errors - asp (clingo) : why are ordered sums not working,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/41549083/
测试数据 addEmployee(EmplID, Name1, Name2, TypeOfWork, Salary, TxnDate) addEmployee("tjb1998", "eva", "m
在 clingo 中创建一个“函数”,如果可以定义的话,我无能为力。在我试图完成的简化版本中,我编写了这个非常短的程序: a(1..3). adj(X,Y) :- a(X), a(Y), abs(X-
我有一个人员列表,我想将他们全部配对,然后根据偏好进行一些过滤。当我生成候选解决方案时,如何避免创建重新配对人员的候选解决方案。 例如: person(a;b;c;d) . {match(X, Y):
我有一个人员列表,我想将他们全部配对,然后根据偏好进行一些过滤。当我生成候选解决方案时,如何避免创建重新配对人员的候选解决方案。 例如: person(a;b;c;d) . {match(X, Y):
我在计划中运行求解器,在各种答案集之间我得到了我认为是警告(因为它不会终止执行),说明如下: Progression : [2;8] (Error: 3) Progression : [3;8] (E
我有以下数据集: food_a(bagel, 245). food_a(sandwich, 200). food_a(salad,300). food(bagel). food(sandwich).
是否有任何简单的方法可以将 Prolog/ASP 代码转换为 CLIPS? 类似于此,但使用 CLIPS 而不是 Prover9: https://github.com/potassco/anthem
我从逻辑编程开始,我正在开发一个简单的程序来查找节点之间的最短路径。我唯一能真正理解的教程是处理命令参数的。 有没有一种方法可以将程序中的 Args 替换为硬编码结构,如列表或其他?用 asp 可以吗
考虑下面的代码,在 中编译固执 . 文件 test.lp .编译命令:clingo 0 test.lp . col(("rot";"blau")). freq("rot","hell",2). fre
我是一名优秀的程序员,十分优秀!