SENDMONEY Eclipse 6.0

:-lib(ic).

send(List):-
    % <= SIRVE PARA COMENTAR
    %variables y dominios
    List = [S,E,N,D,M,O,R,Y],
    S :: 0..9,
    E :: 0..9,
    N :: 0..9,
    D :: 0..9,
    M :: 0..9,
    O :: 0..9,
    R :: 0..9,
    Y :: 0..9,

    %restricciones
    alldifferent(List),
    S*1000 + E*100 + N*10 + D + M*1000 + O*100 + R*10 + E #= M*10000 + O*1000 + N*100 + E*10 + Y, % IGUAL
    %A #\= B, % distinto
    %B #>= C, % mayor o igual
    %C #< D,  % menor

    %resolver
    labeling(List).