Matematické Fórum

Dobrý den, právě začínám s prologem a zkouším vyřešit tento příklad.

A + H + D + G = 43
L + M + N + O = 43
B + H + E + J = 43
P + Q + R + S = 43
C + J + F + K = 43
T + U + V + X = 43
G + H + J + K = 43

Za písmena lze dosadit pouze čísla od 1 do 22.

Do editoru jsem zadal tohle: (možná to bude úplná hloupost - začínám s ním)


res1:-
    T is 1,
    c(A),
    c(G),G\=A,
    c(D),D\=A,D\=G,
    c(H),H\=A,H\=G,H\=D,
    S1 is A+G+D+H,
    c(L),L\=A,L\=G,L\=D,L\=H,
    c(M),M\=A,M\=G,M\=D,M\=H,M\=L,
    c(N),N\=A,N\=G,N\=D,N\=H,N\=L,N\=M,
    c(O),O\=A,O\=G,O\=D,O\=H,O\=L,O\=M,O\=N,
    S2 is L+M+N+O,
    c(B),B\=A,B\=G,B\=D,B\=H,B\=L,B\=M,B\=N,B\=O,
    c(E),E\=A,E\=G,E\=D,E\=H,E\=L,E\=M,E\=N,E\=O,E\=B,
    c(J),J\=A,J\=G,J\=D,J\=H,J\=L,J\=M,J\=N,J\=O,J\=B,J\=E,
    S3 is B+H+E+J,
    c(P),P\=A,P\=G,P\=D,P\=H,P\=L,P\=M,P\=N,P\=O,P\=B,P\=E,P\=J,
    c(Q),Q\=A,Q\=G,Q\=D,Q\=H,Q\=L,Q\=M,Q\=N,Q\=O,Q\=B,Q\=E,Q\=J,Q\=P,
    c(R),R\=A,R\=G,R\=D,R\=H,R\=L,R\=M,R\=N,R\=O,R\=B,R\=E,R\=J,R\=P,R\=Q,
    c(S),S\=A,S\=G,S\=D,S\=H,S\=L,S\=M,S\=N,S\=O,S\=B,S\=E,S\=J,S\=P,S\=Q,S\=R,
    S4 is P+Q+R+S,
    c(C),C\=A,C\=G,C\=D,C\=H,C\=L,C\=M,C\=N,C\=O,C\=B,C\=E,C\=J,C\=P,C\=Q,C\=R,C\=S,
    c(F),F\=A,F\=G,F\=D,F\=H,F\=L,F\=M,F\=N,F\=O,F\=B,F\=E,F\=J,F\=P,F\=Q,F\=R,F\=S,F\=C,
    c(K),K\=A,K\=G,K\=D,K\=H,K\=L,K\=M,K\=N,K\=O,K\=B,K\=E,K\=J,K\=P,K\=Q,K\=R,K\=S,K\=C,K\=F,
    S5 is C+J+F+K,
    c(T),T\=A,T\=G,T\=D,T\=H,T\=L,T\=M,T\=N,T\=O,T\=B,T\=E,T\=J,T\=P,T\=Q,T\=R,T\=S,T\=C,T\=F,T\=K,
    c(U),U\=A,U\=G,U\=D,U\=H,U\=L,U\=M,U\=N,U\=O,U\=B,U\=E,U\=J,U\=P,U\=Q,U\=R,U\=S,U\=C,U\=F,U\=K,U\=T,
    c(V),V\=A,V\=G,V\=D,V\=H,V\=L,V\=M,V\=N,V\=O,V\=B,V\=E,V\=J,V\=P,V\=Q,V\=R,V\=S,V\=C,V\=F,V\=K,V\=T,V\=U,
    c(X),X\=A,X\=G,X\=D,X\=H,X\=L,X\=M,X\=N,X\=O,X\=B,X\=E,X\=J,X\=P,X\=Q,X\=R,X\=S,X\=C,X\=F,X\=K,X\=T,X\=U,X\=V,
    S6 is T+U+V+X,
    S7 is G+H+J+K,
    S1 == S2,
    S1 == S3,
    S1 == S4,
    S1 == S5,
    S1 == S6,
    S1 == S7,
    write(A:G:D:H),nl,write(L:M:N:O),nl,write(B:E:J),nl,write(P:Q:R:S),nl,write(C:F:K),nl,write(T:U:V:X),fail.
c(1).
c(2).
c(3).
c(4).
c(5).
c(6).
c(7).
c(8).
c(9).
c(10).
c(11).
c(12).
c(13).
c(14).
c(15).
c(16).
c(17).
c(18).
c(19).
c(20).
c(21).
c(22).


Děkuji za každou pomoc.