% -----------------------------------------
% Exercice 2
% @author "Alexis Fouché" <contact@alexisfouche.net>
% -----------------------------------------

?- cryptarith([L,O,G,I,C], [L,O,G,I,C], [P,R,O,L,O,G]).
L = 9,
O = 0,
G = 4,
I = 5,
C = 2,
P = 1,
R = 8 ;
false.

Ce qui donne bien :
90000 + 0000 + 400 + 50 + 2 = 90452
(90450)*2 = 180904

100000 + 80000 + 0000 + 900 + 00 + 4 = 180904

/!\ Ne fonctionne pas avec ZERO + ZERO + RIEN car la structure de 
    l'addition est stockée en dur dans les paramètres.
    Cependant, avec une formule similaire cela fonctionne.