A similar problem, one would have solved during one's CS course on AI.
#Problem Statement
AMOUNT - AN = ANY * ANY
and
(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.
Comments