Abstract: The term CryptArithm: it is a mathematical puzzle which involves the replacement of digits with alphabets, symbols and letters. The art and science of solving CryptArithms is known as ...
% so the finite digit search prunes early without cut. materialize(status, 2). materialize(assignment, 2). materialize(equation, 2).