dynamic - Clp ECLiPSe Prolog 动态约束

Question

我有这个约束：

B #> P1*V1 + P2*V2 + P3*V3+ P4*V4 + P5*V5 + P6*V6 +P7*V7 + P8*V8 + P9*V9 + P10*V10

和P=[1,2,3,4,5,6,7,8,9,10] and V=[V1,V2,V3,....], V::0..1

我想用N元素（基数P和V将是N）以动态方式实现这个约束。

如果我用一个循环来实现它，我会遇到实例化问题，因为V此时代码尚未标记。

---

解决了

我已经使用B #> P*V直接在 CLP 中实现的标量产品解决了这个问题。

Answer 1

这是“标量积”的一个实例，在 ECLiPSe 中，您可以在Eplex Instances中找到它。但是我不明白你的问题，当你指示系统做的时候，V会被标记，不是吗？然后你可以像往常一样发布你的表情。