in(X,[X|_]).
in(X,[_|T]):-
in(X,T).
gen(0,[]).
gen(N,[X|T]):- 
    M is N-1,
    gen(M,T),
    in(X,[0,1,2,3,4,5,6,7,8,9]).

sum([], 0). 
sum([H|T],S):-
           sum(T,S_T), 
           S is S_T+H.

in(X,[X|_]).
in(X,[_|T]):-
in(X,T).
gen(0,[]).
gen(N,[X|T]):- 
    M is N-1,
    gen(M,T),
    in(X,[0,1,2,3,4,5,6,7,8,9]).

bilet([Q,W,E,R,T,Y]):-
    Z is Q+W+E, 
    X is R+T+Y,
    Z is X.

:- dynamic(zzz_list/1).

% последовательно перебирает X значениями из списка
from_list(X,[X|_]).
from_list(X,[Y|L]):-from_list(X,L).

% список вариантов цифр используемых при переборе
num(X):-from_list(X,[0,1,3,4,5,6,7,8,9]).

% добавляет новый счастливый список X в уже существующий список счастливых номеров
put_value(X):-(zzz_list(Old),!,
                    retract(zzz_list(Old)),NewList = [X|Old],asserta(zzz_list(NewList)),nl);
                    asserta(zzz_list([X|[]])).

% возвращает список счастливых номеров N и чистит базу
get_hc_list(N):-zzz_list(N),abolish(zzz_list/1).

% генерирует список счастливых номеров
gen_hc:-num(A),num(B),num(C),num(D),num(E),num(F),
                                 Lft is A+B+C, Rght is D+E+F, Lft=Rght,
                                       Lst=[A,B,C,D,E,F],
                                           put_value(Lst),fail.

% сформирует список всех счастливых комбинаций и вернет его в List
all_happy_combnations(List):-not(gen_hc), get_hc_list(List).

 class predicates
h:(integer_list) -> integer_list nondeterm.
clauses
h(L)=[Q,W,E,R,T,Y]:-
    Q=getMember_nd(L),W=getMember_nd(L),E=getMember_nd(L),S=Q+W+E,
    R=getMember_nd(L),T=getMember_nd(L),Y=getMember_nd(L),R+T+Y=S.
run():-write([L||L=h([0,1,2,3,4,5,6,7,8,9])]).