A similar problem, one would have solved during one's CS course on AI.
AMOUNT - AN = ANY * ANY
(TOTAL + ANY)/A = a whole number
Find A,M,O,U,N,T,Y,L where each are distinct digits. Then what will be VALUE.
This is my program, and my VALUE is 89140.
The program is a type of brute-force method. Solving using predicate logic is tougher.