Выяснить, есть ли слове X буква «а», стоящая на нечетном месте после буквы «z» (SWI-Prolog)

run :-
    write('Введите строку'),nl,
    read(Sen),
    write('Введенная строка'),nl,
    write(Sen),nl,
    string_to_list(Sen,Sen1),
    sc(Sen1,N),
    provre(N,RES),
    write(RES).
/*Проверка на одновременное выполнение условий provh и provt */
provre(2,Q):-Q = "TRU".
provre(_,Q):-Q = "FALSE".
 
/*проверям, является ли первый элемент буквой "a". Так как до этого мы из строки переходили в список, предикат string_to_list все символы перевел в коды ASCII. a = 97.*/
provh("97",1).
provh(_,0).
 
/*проверям, является ли второй элемент буквой "z". Так как до этого мы из строки переходили в список, предикат string_to_list все символы перевел в коды ASCII. z = 122.*/
provt("122",1).
provt(_,0).
 
sc([],_).
sc([H|[T|Q]],N):-
    provh(H,N1),
    provt(T,N2),
/* Ниже идет счётчик одновременности выполнения двух условий */
    N is N1+N2,
    sc(Q,N).

/*проверям, является ли первый элемент буквой "a". Так как до этого мы из строки переходили в список, предикат string_to_list все символы перевел в коды ASCII. a = 97.*/
provh("97",1).
...
/*проверям, является ли второй элемент буквой "z". Так как до этого мы из строки переходили в список, предикат string_to_list все символы перевел в коды ASCII. z = 122.*/
provt("122",1).

run :-
    write('Введите строку'),nl,
    read(Sen),
    write('Введенная строка'),nl,
    write(Sen),nl,
    string_to_list(Sen,SenL),
    test(SenL),
    write('YES'),nl;
 
    write('NO'),nl.
 
test([122, 97|_]) :- !.
test([_, _|T]) :- test(T).

odd_a_past_z(W) :-
    string_codes(W, Ws),
    string_codes("z", [Z]),
    string_codes("a", [A]),
    odd_a_past_z(Z, A, Ws).
odd_a_past_z(Z, A, [_, Z, A| _]).
odd_a_past_z(Z, A, [_, _ | T]) :-
    odd_a_past_z(Z, A, T).

?- odd_a_past_z("1234za78").
false.

?- odd_a_past_z("12345za8").
true.