logic-programming - Clingo 计划有望令人满意

Question

我正在 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,Y,Z).

我期望的答案包含：a(object1) a(object2) b(object3) go(object1,object2,object3)。

关于 Clingo 的算术，我可能想念一些东西。

Answer 1

我担心这里对 ASP 有很多误解。

1. 您不能为谓词 ( ) 赋值value(a,b,c)=1.5。谓词形成原子，可以是真或假（包含在答案集中或不包含在答案集中）。
2. 我假设您的最后一条规则将推导出原子 go(X,Y,Z)。规则确实反过来起作用，派生的东西在左边。
3. 不可能有浮点运算，您必须将值缩放为整数。

您的问题可能看起来像这样，但这只是在黑暗中摸索：

#const v = 1.

a(object1).
a(object2).
b(object3).
value(object1,object2,object3,2).
go(X,Y,Z) :- value(X,Y,Z,Value), Value > v, a(X), a(Y), b(Z), X!=Y.

最后一条规则规定：推导go(object1,object2,object3)ifvalue(object1,object2,object3,2)为 true 且2 > 1为a(object1)true 且a(object2)为 true 且b(object3)为 true 且object1 != object2。