Tra4CP

      S E N D
  +   M O R E
  -----------
  = M O N E Y

 (resolution by line)

 Solution:
  [S,E,N,D,M,O,R,Y]
  [9,5,6,7,1,0,8,2]Interest : pedagogical

Sources :

• code GNU-Prolog

• Trace GNU-Prolog (165K, 846 events)