[英]Instantiation fault ECLiPSe CSP
我在ECLiPSe下的CSP遇到問題。 我希望對我的密碼添加一個約束,要求由TWO表示的數字可被2整除。
[eclipse 11]: test(Xs).
instantiation fault in (_268{[1..4]}*100 + _200{[0..9]}*10 + _302{[0..9]}*1) mod 2#=0
Abort
謝謝你的幫助。
我的代碼:
/*
T W O
+ T H R E E
+ T H R E E
---------
E I G H T
*/
:- lib(fd).
myCsp(Xs):-
Xs=[W,I,G,H,T,R,O,E],
Xs::0..9,
[C1,C2,C3,C4]::0..2,
T #> 0,E #> 0,
O + E + E #= C1*10 + T,
W + E + E + C1 #= C2*10 + H,
T + R + R + C2 #= C3*10 + G,
H + H + C3 #= C4*10 + I,
T + T + C4 #= E,
(T*100 + W*10 + O*1) mod 2 #= 0,
alldifferent([W,I,G,H,T,R,O,E]).
test(Xs):-
myCsp(Xs),
labeling(Xs).
中的mod / 2操作
(T*100 + W*10 + O*1) mod 2 #= 0
不支持。 您可以將行重寫為
T*100 + W*10 + O*1 #= 2*_
這表示左側表達式等於一個匿名整數變量的兩倍,因此等於二的倍數。
聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.