:- use_module(library(clpfd)).

smm(L) :-
	L = [S,E,N,D,M,O,R,Y],
	domain(L,0,9), % Wertebreich der Variablen
	S #> 0, M #> 0,
	all_different(L),
	           1000*S+100*E+10*N+D
	          +1000*M+100*O+10*R+E
	#= 10000*M+1000*O+100*N+10*E+Y,
	labeling([],L).
