Write the following in prolog:

Implement a rule "crypto" that solves the following cryptarithmetic multiplication problem:

CHOW * CHOW = BRIGCHOW

Each of the 4 letters (C,H,O,W) stands for a different digit.

The 4 letters (B,R,I,G) can each be matched by any digit.

The aim is to find a substitution of digits for the letters

such that the above stated product is arithmetically correct.

Your program should find all answers.

It should be possible to query your solution in this manner:

?- crypto(B,R,I,G,C,H,O,W).

Your solution should then produce all of the combinations of

the digits that satisfy the multiplication problem above.Don't get

confused between the letter "O" and the number "0" (zero).

Make sure you never let C=H, or O=W, etc... all of the distinct

letters C,H,O,W have to stand for distinct digits.

(remember a ; allows you to continue for more answers).