解決 - 日食的Clp 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

這是'scalar product'的一個實例，在ECLiPSe中您可以在Eplex Instances中找到它。但是我不明白你的問題，當你指示系統去做時，V會被貼上標籤，這是不是真的？然後，您可以像往常一樣發佈您的表情。