Untitled

mail@pastecode.io avatar
unknown
plain_text
2 years ago
255 B
2
Indexable
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).