List_Index = ValueEvery time Index or Value is updated, this constraint is activated and the domain of the other variable is updated accordingly.
[eclipse 13]: element(I, [1,3,6,3], V). I = I :: [1 .. 4] V = V :: [1, 3, 6] Delayed goals: element(I :: [1 .. 4], t(1, 3, 6, 3), V :: [1, 3, 6], 4, 3) yes. [eclipse 14]: element(I, [1,3,6,3], V), V ## 3. I = I :: [1, 3] V = V :: [1, 6] Delayed goals: element(I :: [1, 3], t(1, 3, 6, 3), V :: [1, 6], 2, 2) yes.