Подсчет в слове X всех сочетаний «му» (SWI-Prolog)

    kol :-
    write('Введите строку'),nl,
    read(Sen),
    write('Введенная строка'),nl,
    write(Sen),nl,
    write('!!!Колличество сочетаний my!!! = '),
    kol_s(Sen,K),
    write(K).
 
/*  Правило, определяющее, является ли  первый по порядку символ буквой m, а второй по порядку буквой y. */
/*  Возвращает 1, если так, и 0 в противном случае  */
dig("m","y",1).
dig(_,_,0).
 
/*Правило для подсчёта таких сочетаний*/
kol_s("",0).
kol_s(S,N):-sub_string(S,0,1,_,Sy1),
    sub_string(S,1,2,_,Sy2),
    dig(Sy1,Sy2,N1),
    string_length(S,L),
    L1 is L-1,
    sub_string(S,1,L1,_,Tail),
    kol_s(Tail,N2),
    N is N1+N2.

kol :-
    write('Введите строку'),nl,
    read(Sen),
    write('Введенная строка'),nl,
    write(Sen),nl,
    write('!!!Колличество сочетаний my!!! = '),
    string_codes(Sen, InCodes),
    string_codes("my", SearchCodes),
    findall(1, (
                append(_, MiddleCodes, InCodes),
                append(SearchCodes, _, MiddleCodes)
               ),
    Xs),
    length(Xs, K),
    write(K).

?- kol.
 Введите строку
|: "my foo my bar and my or not".
Введенная строка
my foo my bar and my or not
!!!Колличество сочетаний my!!! = 3
true.

kol :-
    write('Введите строку'),nl,
    read(Sen),
    write('Введенная строка'),nl,
    write(Sen),nl,
    string_concat(Sen,"..",Sen1),
    write('Колличество сочетаний my = '),
    kol_s(Sen1,K),
    write(K).
 
dig("my",1).
dig(_,0).
 
kol_s("..",0).
kol_s(S,N):-sub_string(S,0,2,_,Sy1),
    dig(Sy1,N1),
    string_length(S,L),
    L1 is L-1,
    sub_string(S,1,L1,_,Tail),
    kol_s(Tail,N2),
    N is N1+N2.