1 SEND+MORE=MONEY

1 SEND+MORE=MONEY
Nous désirons résoudre en Prolog le problème SEND+MORE=MONEY,
célèbre puzzle arithmétique, dans lequel les variables S, E, N, D, M, O, R et
Y prennent des valeurs entières entre 0 et 9
toutes diérentes (les variables
S et M étant diérentes de 0).
Ecrire un programme Prolog qui résoud ce problème combinatoire. Discuter la complexité du problème. Proposer des améliorations.
1