Zahlenrätsel in SWI-Prolog

Question

Frage:

Wisst ihr wie man dieses Problem in SWI-Prolog löst?:

ABC  -  ADA  =  EF

+           -            +

FG   +    HDF  =   HEA

=             =            =

BJF   -     JKG   =  CJC

Die Buchstaben sollen jeweils einer Nummer von 0-9 zugeordnet werden und jeder Nummer von 0-9 kann nur einem Buchstaben zugeordnet werden. So wird aus E=0, F=3 , EF = 03 = 3 usw.

Am Ende müssen alle Gleichungen (horizontal und vertikal) erfüllt sein

raetsel(A,B,C,D,E,F,G,H,J,K)

Soll erfüllt sein genau dann wenn alle Buchstaben die Lösung des Rätsels sind.

Code:

Answer 1

Variante 1: Du kannst ohne Nachzudenken die 10! Möglichkeiten der Verteilung durchspielen.

Variante 2

Du kannst die Anzahl der Möglichkeiten durch genaues Hinsehen deutlich verringern.

So gilt z.B.

B=A+1

C=H+1

G=10-A

Keine der Endziffern ist 0. (Anfangsziffern vermutlich auch nicht?)