s(0,1).
s(1,2).
s(2,3).
s(3,4).
s(4,5).
s(5,6).
s(6,7).

p(0).
p(X) :- p(Y), s(Y,X).

q(7).

g :- p(X0), q(X0).