/*-------------------------------------------------------------------------*/
/* GNU Prolog                                                              */
/* Priklad na UPG                                                          */
/*                                                                         */
/*-------------------------------------------------------------------------*/

rodic(jana,lenka).
rodic(jana,petr). 
rodic(petr,eva).
 
muz(petr). 
zena(jana).
zena(eva).
zena(lenka).

syn(Y,X):-rodic(X,Y),muz(Y). 
dcera(Y,X):-rodic(X,Y),zena(Y).
prarodic(X,Z):-rodic(X,Y),rodic(Y,Z).
potomek(Y,X):-syn(Y,X);dcera(Y,X).

?-rodic(X,Petr).
?-prarodic(jana,eva).

