Untitled

przoedek
ojciec(karol,jann).
ojciec(karol,adam).

dziecko(tomasz,jann).
dziecko(piotr,adam).

dziadek(karol,marek).
dziadek(X,Y):-ojciec(X,Z),dziecko(Y,Z).

zależności
p(a,d).
p(X,Y):-q(X,Z), r(Z,Y).

q(a,b).
q(c,a).

r(a,d).
r(b,c).