- Create the variables with their initial domains
- Setup the constraints between the variables

`SEND+MORE = MONEY`

.
The idea is to associate a digit (0-9) with each letter so that the
equation is true. The ECL
:- lib(ic). sendmore(Digits) :- Digits = [S,E,N,D,M,O,R,Y], % Assign a finite domain with each letter - S, E, N, D, M, O, R, Y - % in the list Digits Digits :: [0..9], % Constraints alldifferent(Digits), S # |