Базовые предикаты

    max([Head|Tail],Result):-
        max(Tail,Result),Result>Head,!.
    max([Head|_],Head).

        member(H,[H|_]):-!.%чтоб сделать nondeterm заменить на member(H,[H|_]).
        member(H,[_|T]):-member(H,T).

    count(_,[],0):-!.
    count(Item,[Item|Tail],Count):-
        count(Item,Tail,Result),
        Count=Result+1,!.
    count(Item,[_|Tail],Count):-
        count(Item,Tail,Count).

    sumOfDigits(0,0):-!.
    sumOfDigits(Value,Sum):-
                       Valuen=Value div 10, 
                       sumOfDigits(Valuen,Sumn),
                       Sum=Sumn + Value mod 10.

    conc([],L,L).
    conc([X|L1],L2,[X|L3]) :- 
        conc(L1,L2,L3).

    dfs(A,[A|Path],[A|Path]).
    dfs(A,[Y|Path1],Path):- 
        exist(X,Y), % Ребро
        not(member(X,Path1)),
        dfs(A,[X,Y|Path1],Path).

    bfs([[Node|Path]|_],Node,[Node|Path]).
    bfs([[B|Path]|Paths],Z,Solution) :- 
        findall(S, new_node(B,S,Path), NewPaths),
        conc(Paths,NewPaths,Paths1),!, 
        bfs(Paths1,Z,Solution);bfs(Paths,Z,Solution).  
 
    new_node(B,S,Path) :- 
        exist(B,B1), 
        not(member(B1,[B|Path])), 
        S=[B1,B|Path].

    rev(X,Y):- 
        rev([],X,Y).  
    rev(Y,[],Y).  
    rev(X1,[Z|X2],Y):- 
        rev([Z|X1],X2,Y).

    div2(_,[],[],[]).    
    div2(X,[Y|TAIL], [Y|S],L):-
        X>Y,!,
        div2(X,TAIL,S,L).    
    div2(X,[Y|TAIL], S,[Y|L]):-
        div2(X,TAIL,S,L).    
 
    link([],L,L).    
    link([X|L1],L2,[X|L3]):-
        link(L1,L2,L3).    
 
    qsort([],[]).    
    qsort([X|TAIL],SORTLIST) :-
        div2(X, TAIL, S, L),    
        qsort(S, SORTS),    
        qsort(L, SORTL),    
        link(SORTS,[X|SORTL],SORTLIST).

isort([],[]).
    isort([X|X1],Y):- 
        isort(X1,Y1),
        ins(X,Y1,Y).
    
    ins(X,[Y|List],[Y|List1]):- 
        X>Y,!,
        ins(X,List,List1).
    ins(X,List,[X|List]).

BINARY SORT
    bsort([],[]).
    bsort([X],[X]).
    bsort(X,Y):-
        div(X,A,B),
        bsort(A,C),
        bsort(B,D),
        conc(C,D,Y).
    
    div([],[],[]).
    div([X],[X],[]).
    div([X,Y|T],[X|A],[Y|B]):-
        div(T,A,B).
    
    conc([],[],[]).
    conc([X],[],[X]).
    conc([],[X],[X]).
    conc([X|A],[Y|B],[Y|C]):-X>Y,!,conc([X|A],B,C).
    conc([X|A],B,[X|C]):-conc(A,B,C),!.

    div([],[],[]).
    div([X],[X],[]).
    div([X,Y|T],[X|A],[Y|B]):-
        div(T,A,B).

        insert_evry_position(X, [X|T], T).
        insert_evry_position(X, [H|T], [H|S]):-
                insert_evry_position(X, T, S).
 
        permutation([], []).
        permutation([H|T], R):-
                permutation(T, X), insert_evry_position(H, R, X).

        delsame([],[]):-!.
        delsame([Hi|Ti],R):-member(Hi,Ti),delsame(Ti,R),!.
        delsame([Hi|Ti],[Hi|R]):-delsame(Ti,R).

applyToAll(_,[]):-!.
applyToAll(Predicate,[H|Tail]):-apply(Predicate,[H]),applyToAll(Predicate,Tail).

p( N, S ) :-
        str_int( Str,  N ),
        sum( Str, S ).
    sum( Str, S ):-
        frontchar( Str, C, StrStr ),
        sum( StrStr, SS ),
        S = SS + C - '0';
        S = 0,!.