// http://community.livejournal.com/ru_declarative/80076.html
//
// Известным примером числового ребуса является:
//
//  DONALD
// +
//  GERALD
// -------
//  ROBERT
//
// Задача состоит в том, чтобы заменить буквы D, О, N и т.д. на цифры
// таким образом, чтобы вышеприведенная сумма была правильной.
// Разным буквам должны соответствовать разные цифры,
// иначе возможно тривиальное решение, например, все буквы можно заменить
// на нули.

$module Rebus;
$use Arithm Convert StdIO;

$func Main = e;
Main =
	'0123456789' : e.l1 s.D e.r1,
	e.l1 e.r1 : e.l2 s.O e.r2, 
	e.l2 e.r2 : e.l3 s.N e.r3, 
	e.l3 e.r3 : e.l4 s.A e.r4, 
	e.l4 e.r4 : e.l5 s.L e.r5, 
	e.l5 e.r5 : e.l6 s.G e.r6, 
	e.l6 e.r6 : e.l7 s.E e.r7, 
	e.l7 e.r7 : e.l8 s.R e.r8, 
	e.l8 e.r8 : e.l9 s.B e.r9, 
	e.l9 e.r9 : e.l0 s.T e.r0, 
	<ToInt s.D s.O s.N s.A s.L s.D> :: s.donald,
	<ToInt s.G s.E s.R s.A s.L s.D> :: s.gerald,
	<ToInt s.R s.O s.B s.E s.R s.T> :: s.robert,
	<Add s.donald s.gerald> : s.robert,
	<PrintLn s.donald' + 's.gerald' = 's.robert>,
	/*$fail*/;