Problèmes de cryptographie

Il s'agit de décrypter les 3 messages secrets suivants:

1. SEND + MORE = MONEY
2. GERALD + DONALD = ROBERT
3. VINGT + CINQ + CINQ = TRENTE

Dans chacun de ces 3 problèmes, chaque lettre représente un chiffre différent (compris entre 0 et 9). Il s'agit de trouver lequel... On sait par ailleurs que la première lettre de chaque mot représente un chiffre différent de 0.

Pour résoudre ce problème, on peut énumérer toutes les possibilités d'affectation de chiffres aux lettres jusqu'à ce que l'équation soit satisfaite. Pour cela, il faut d'abord écrire la relation

nombre(X,Min,Max)

qui "énumére" toutes les valeurs que X peut prendre entre Min et Max. Exemple d'exécution:

?- nombre(X,4,7)
X=4
X=5
X=6
X=7
yes