3rd:Solution of Alphametic Puzzles

The solution alphametic puzzles on my homepage The alphametic puzzles are the generalizations of the puzzles of type

SEND+MORE=MONEY

You have to substitute same numbers for the same letters, different numbers for the different letters. Their special forms are the doubly true puzzles. A Hungarian example is

---

TÍZ+TÍZ=HÚSZ

---

where the words for added numbers in a certain language form true sentence. TÍZ=ten in Hungarian, HÚSZ=twenty in Hungarian. TEN=TEN=TWENTY has no solution in English.

---

NINETEEN + THIRTEEN + THREE + 2*TWO+ 3*ONE = FORTYTWO

---

is a more complicated English doubly true cryptarithm.

German example: 2*SECHS=ZWOELF. In order accept Russian puzzles the program accepts Unicode input and writes Unicode output. Prolog version: VIP 7.2 PE. The help file written using VAHELP VAHELP Help Maker

I intended to follow the human way of the thinking instead of brute force full trial and error of all possible letter-digit matching. The program uses rules of divisibilty and comparision of mininal and maximal values of the left and right sides of the equations. --Frank 09:38, 5 January 2011 (CET)