% A cryptarithmetic puzzle:
%
%   BASE
%  +BALL
%  _____
%  GAMES

:- use_module(library(clpfd)).

crypt(Vs) :-
        Vs = [B,A,S,E,L,G,M],
        domain(Vs, 0, 9),  % Wertebereich aller Vs ist [0..9]
        G #> 0, B #> 0,
        all_different(Vs),
                   1000*B+100*A+10*S+E
        +          1000*B+100*A+10*L+L
        #= 10000*G+1000*A+100*M+10*E+S,
        labeling([],Vs).

