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

---

解决了

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

Answer 1

这是“ 标量积 ”的实例，在ECLiPSe中，您可以在Eplex Instances中找到它。 但是我不明白您的问题，当您指示系统执行操作时会标记V，不是吗？ 然后，您可以照常发布表达式。