[eclipse-clp-users] ic constraints and mod

Hi,

	I have a question concerning the arithmetic operator mod and ic  
constraints.

In SICStus Prolog, with the clpfd solver, it is possible to write the  
goal Y in 1..10, X #= Y mod 3, which returns Y in 1..10, X in 0..2.
I would like to write the same goal and, in particular, constraint of  
the form A #= B mod n (where n is an integer value) in ECLiPse, but  
the set of arithmetic expression that can be used inside ic  
constraints does not include an arithmetic expression equivalent to E1  
mod E2.
How can I solve this problem?


Thanks.
Dario