Проверить, есть ли в заданном слове буква "к", стоящая на четных местах перед буквой "и"

:- set_prolog_flag(double_quotes, string).
 
is_k([_,"к","и" | _]) :-
    !.
is_k([_, _ | Teil]) :-
    is_k(Teil).

?- is_k(["","к","и","р","г","и","з"]).
true.
 
?- is_k(["к","и","р","г","и","з"]).
false.

predicates
len(string,integer)
chk(string,integer)
task(string)
 
clauses
 
len("",0).
len(S,N) :- frontchar(S,_,B), len(B,N1), N=N1+1.
 
chk(X,_) :- len(X,L), L<2, fail.
chk(X,N) :- frontchar(X,X1,R1), frontchar(R1,X2,_),(N mod 2)=0, X1='k',X2='y', !.
chk(X,N) :- frontchar(X,_,R), NN=N+1, chk(R,NN).
 
task(X) :- chk(X,1).

predicates
len(string,integer)
chk(string,integer)
task(string)
 
clauses
 
%% определение длины строки
 
len("",0).  %% пустая строка имеет нулевую длину
len(S,N) :- frontchar(S,_,B), len(B,N1), N=N1+1. %% длина непустой = длина строки без 1-го символа + 1
 
%% Проверка и подсчет
 
chk(X,_) :- len(X,L), L<2, fail. %% если длина строки < 2 - выход
%% иначе если в начале стоит нужная пара букв и второй параметр четен - значит нашли
chk(X,N) :- frontchar(X,X1,R1), frontchar(R1,X2,_),(N mod 2)=0, X1='k',X2='y', !.
%% иначе сдвигаемся на символ и рекурсивный вызов
chk(X,N) :- frontchar(X,_,R), NN=N+1, chk(R,NN).
 
 
%% запускающий предикат - вызов chk со вторым пар=1 (счет с первой позиции)
 
task(X) :- chk(X,1).

goal
 
task("Tra-ta-ta").