digit(1).
digit(2).
digit(3).
digit(4).
digit(5).
digit(6).
digit(7).
digit(8).
digit(9).

:- use_module(library(clpfd)).

solve(A, B, C, D, E, F, G, H, I) :-
    digit(A),
    digit(B),
    digit(C),
    digit(D),
    digit(E),
    digit(F),
    digit(G),
    digit(H),
    digit(I),
    all_different([A,B,C,D,E,F,G,H,I]),
    A + 13 * B / C + D + 12 * E - F - 11 + G * H / I - 10 == 66.