:- use_module(library(clpfd)).

money([S,E,N,D]+[M,O,R,E]=[M,O,N,E,Y]):-
  [M,E,N,D,S,O,R,Y] ins 0..9,
  S #> 0,
  M #> 0,
  all_different([S,E,N,D,M,O,R,Y]),
  sum(S,E,N,D,M,O,R,Y),
  label([S,E,N,D,M,O,R,Y]).

sum(S,E,N,D,M,O,R,Y):-
   1000*S + 100*E + 10*N +D
  +1000*M + 100*O + 10*R +E
#= 10000*M + 1000*O + 100*N + 10*E +Y.

