% fadder(A,B,C,D,E) :-  A + B + C = 10E + D  
:-dynamic(fadder/5).
fadder0(A,B,C,D,E) :- between(0,9,A),between(0,9,B),between(0,1,C),
	D is (A + B + C) mod 10, E is floor((A +B + C)/ 10), asserta(fadder(A,B,C,D,E)).
:- setof(fadder(A,B,C,D,E),fadder0(A,B,C,D,E),L), member(X,L),asserta(X),fail;true.
:- compile_predicates([fadder/5]).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
fukumen(A,B,C) :-
	setof(V,varof([A,B,C],V),Vars),
	setof([A,B,C],(fukumen0(A,B,C,0),alldifferent(Vars)),L),member([A,B,C],L). 
 
fukumen0([A|X],[B|Y],[D|Z],E) :- fadder(A,B,C,D,E), D \= 0, fukumen1(X,Y,Z,C).
fukumen1([],[],[],0) :- !. 
fukumen1([A|X],[B|Y],[D|Z],E) :- fadder(A,B,C,D,E), fukumen1(X,Y,Z,C).
 
varof(T,T) :- var(T),!.
varof(T,_) :- ground(T),!,fail.
varof(T,V) :- arg(_,T,A),varof(A,V). 
 
alldifferent(X) :- nth0(I,X,A),nth0(J,X,B),A==B, I \= J,!,fail.
alldifferent(_).
%% ----------------------------------------------
:- write('SEND + MORE = MONEY'), nl,fukumen([0,S,E,N,D],[0,M,O,R,E],[M,O,N,E,Y]) ,
	write([S,E,N,D]+[M,O,R,E]=[M,O,N,E,Y]),nl,fail;nl.
:- write('WWWDOT - GOOGLE = DOTCOM'),nl,fukumen([D,O,T,C,O,M],[G,O,O,G,L,E],[W,W,W,D,O,T]),
	write([W,W,W,D,O,T]-[G,O,O,G,L,E]=[D,O,T,C,O,M]),nl,fail;true.
 

JSBmYWRkZXIoQSxCLEMsRCxFKSA6LSAgQSArIEIgKyBDID0gMTBFICsgRCAgCjotZHluYW1pYyhmYWRkZXIvNSkuCmZhZGRlcjAoQSxCLEMsRCxFKSA6LSBiZXR3ZWVuKDAsOSxBKSxiZXR3ZWVuKDAsOSxCKSxiZXR3ZWVuKDAsMSxDKSwKCUQgaXMgKEEgKyBCICsgQykgbW9kIDEwLCBFIGlzIGZsb29yKChBICtCICsgQykvIDEwKSwgYXNzZXJ0YShmYWRkZXIoQSxCLEMsRCxFKSkuCjotIHNldG9mKGZhZGRlcihBLEIsQyxELEUpLGZhZGRlcjAoQSxCLEMsRCxFKSxMKSwgbWVtYmVyKFgsTCksYXNzZXJ0YShYKSxmYWlsO3RydWUuCjotIGNvbXBpbGVfcHJlZGljYXRlcyhbZmFkZGVyLzVdKS4KJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlJSUlCmZ1a3VtZW4oQSxCLEMpIDotCglzZXRvZihWLHZhcm9mKFtBLEIsQ10sViksVmFycyksCglzZXRvZihbQSxCLENdLChmdWt1bWVuMChBLEIsQywwKSxhbGxkaWZmZXJlbnQoVmFycykpLEwpLG1lbWJlcihbQSxCLENdLEwpLiAKCmZ1a3VtZW4wKFtBfFhdLFtCfFldLFtEfFpdLEUpIDotIGZhZGRlcihBLEIsQyxELEUpLCBEIFw9IDAsIGZ1a3VtZW4xKFgsWSxaLEMpLgpmdWt1bWVuMShbXSxbXSxbXSwwKSA6LSAhLiAKZnVrdW1lbjEoW0F8WF0sW0J8WV0sW0R8Wl0sRSkgOi0gZmFkZGVyKEEsQixDLEQsRSksIGZ1a3VtZW4xKFgsWSxaLEMpLgoKdmFyb2YoVCxUKSA6LSB2YXIoVCksIS4KdmFyb2YoVCxfKSA6LSBncm91bmQoVCksISxmYWlsLgp2YXJvZihULFYpIDotIGFyZyhfLFQsQSksdmFyb2YoQSxWKS4gCgphbGxkaWZmZXJlbnQoWCkgOi0gbnRoMChJLFgsQSksbnRoMChKLFgsQiksQT09QiwgSSBcPSBKLCEsZmFpbC4KYWxsZGlmZmVyZW50KF8pLgolJSAtLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCjotIHdyaXRlKCdTRU5EICsgTU9SRSA9IE1PTkVZJyksIG5sLGZ1a3VtZW4oWzAsUyxFLE4sRF0sWzAsTSxPLFIsRV0sW00sTyxOLEUsWV0pICwKCXdyaXRlKFtTLEUsTixEXStbTSxPLFIsRV09W00sTyxOLEUsWV0pLG5sLGZhaWw7bmwuCjotIHdyaXRlKCdXV1dET1QgLSBHT09HTEUgPSBET1RDT00nKSxubCxmdWt1bWVuKFtELE8sVCxDLE8sTV0sW0csTyxPLEcsTCxFXSxbVyxXLFcsRCxPLFRdKSwKCXdyaXRlKFtXLFcsVyxELE8sVF0tW0csTyxPLEcsTCxFXT1bRCxPLFQsQyxPLE1dKSxubCxmYWlsO3RydWUuCg==