计算123456789，所有3位数加法的组合。

all_number.prolog

all_number(Result) :-
    Digit = [1, 2, 3, 4, 5, 6, 7, 8, 9],
    member(A1, Digit),
    member(A2, Digit),
    member(A3, Digit),
    member(B1, Digit),
    member(B2, Digit),
    member(B3, Digit),
    member(C1, Digit),
    member(C2, Digit),
    member(C3, Digit),
    fd_all_different([A1, A2, A3, B1, B2, B3, C1, C2, C3]),
    Result = [A, B, C],
    A is (A1 * 100 + A2 * 10 + A3),
    B is (B1 * 100 + B2 * 10 + B3),
    C is (C1 * 100 + C2 * 10 + C3),
    A < B,
    A + B =:= C.