大佬教程收集整理的这篇文章主要介绍了Clingo 程序预期可满足，大佬教程大佬觉得挺不错的，现在分享给大家，也给大家做个参考。
我正在 Clingo 5.0.0 中测试一些涉及算术的程序，但我不明白为什么下面的程序无法满足：
#const v = 1.
a(object1).
a(object2).
b(object3).
value(object1,object2,object3) = "1.5".
value(X,Y,z) > v,a(X),a(Y),b(z),X!=Y :- go(X,z).
我希望得到的答案包含：a(object1) a(object2) b(object3) go(object1,object3)。
关于 Clingo 的算术，我可能会想念一些东西。
我担心这里对 ASP 存在一些误解。
value(a,b,C)=1.5) 赋值。谓词形成原子，可以为真或为假（是否包含在答案集中）。您的问题@H_607_29@可能看起来像这样，但这只是在黑暗中摸索：
#const v = 1.
a(object1).
a(object2).
b(object3).
value(object1,object2,object3,2).
go(X,z) :- value(X,Z,value),Value > v,a(X),a(Y),b(z),X!=Y.
最后一条规则规定：
如果 go(object1,object3) 为真且 value(object1,2) 和 2 > 1 为真且 a(object1) 为真且 a(object2) 为真且 b(object3)，则导出 object1 != object2 .
以上是大佬教程为你收集整理的Clingo 程序预期可满足全部内容，希望文章能够帮你解决Clingo 程序预期可满足所遇到的程序开发问题。
如果觉得大佬教程网站内容还不错，欢迎将大佬教程推荐给程序员好友。
本图文内容来源于网友网络收集整理提供，作为学习参考使用，版权属于原作者。
如您有任何意见或建议可联系处理。小编QQ：384754419，请注明来意。