

qInit([a|Xs]) :- q1(Xs).


q1([b|Xs]) :- q2(Xs).

q1([a|Xs]) :- q3(Xs).

q2([c|Xs]) :- q2(Xs).

q2([b|Xs]) :- q6(Xs).

q3([]).

q3([b|Xs]) :- q4(Xs).

q3([c|Xs]) :- q5(Xs).

q4([b|Xs]) :- q3(Xs).

q5([c|Xs]) :- q5(Xs).

q5([]).

q6([]).



