q :- p(X).
p(a) :- p(b).
p(b) :- p(c).