Операции с нечеткими множествами(объединение, пересечение, дополнение, разность) [SWI Prolog]

/*Show list by element*/
    show_list([]) :- !.
    show_list([H|T]):-write(H),nl,show_list(T).
 
    /*Add element in head of list*/
    add_elem(X,Tail,[X|Tail]).
    
    /*Is there such element in this list?*/
    member(X,[X|T]).
    member(X,[_|T]) :- member(X,T).
 
    /*Delete element*/
    remove(X,[X|Tail],Tail).
    remove(X,[Y|Tail],[Y|Tail1]) :- remove(X,Tail,Tail1).
 
    /*Unite lists*/
    add([],LIST,LIST).
    add([H|T], LIST,[H|App_T]) :- add(T,LIST,App_T).
 
    /*Kill double elements*/
    kill([],My_List,RES_LIST):- RES_LIST is My_List.
    kill([H|Tail],My_List,RES_LIST):- member(H,My_List),!,remove(H,My_List,M),
                       kill(Tail,M,RES_LIST); kill(Tail,My_List,RES_LIST).
    
    /*Append lists*/
        % Можно использовать стандартный append/3
    append(List1,List2) :- kill(List1,List2,List_M),add(List1,List_M,Res_List),
                   write('Res_List= '),write(Res_List),nl.
 
    /*Cross lists*/
    cross(List1,List2) :- kill(List1,List2,RES_DIFF), kill(RES_DIFF,List2,RESULT),
                  write('Res_List= '),write(RESULT), nl.
        
    /*Minus lists*/
    minus(List1,List2) :- kill(List2,List1,RES_LIST),
                  write('Res_List= '),write(RES_LIST),nl.
 
    /* Dekart */
    cart([A|X1],[B|X],X2,[[A,B]|C]) :- !,cart([A|X1],X,X2,C).
    cart([A|X1],[],X2,C) :- !,cart(X1,X2,X2,C).
    cart([],_,_,[]).
    
    decart(List1,List2) :- cart(List1,List2,List2,Res), 
                write('Res_List= '),write(Res), nl.

? - append([1,2],[3,4],L).

? - member(1,[1,2,3]).