Untitled
unknown
plain_text
a year ago
255 B
1
Indexable
Never
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).