%================================================= % RODINNA DATABAZA %================================================= %------------------------------------------------- % rodic(RODIC, DIETA) % definuje vztah medzi rodicom a dietatom % rodinny strom Velkej Moravy rodic(samoslav, mojmir). rodic(samoslav, vseslav). rodic(vseslav, rastislav). rodic(vseslav, semidrag). rodic(semidrag, svatopluk). rodic(semidrag, semizizen). rodic(rodana, svatopluk). rodic(rodana, semizizen). %------------------------------------------------- % muz(CLOVEK), zena(CLOVEK) % definuje pohlavie muz(samoslav). muz(mojmir). muz(vseslav). muz(rastislav). muz(semidrag). muz(svatopluk). zena(rodana). zena(semizizen). %------------------------------------------------- % dalsie rodinne vztahy dieta(Dieta, Rodic) :- rodic(Rodic, Dieta). otec(Otec, Dieta) :- muz(Otec), rodic(Otec, Dieta). matka(Matka, Dieta) :- zena(Matka), rodic(Matka, Dieta). je_otec(Otec) :- otec(Otec, _). je_matka(Matka) :- matka(Matka, _). potomok(Potomok, Predok) :- rodic(Predok, Potomok). %potomok(Potomok, Predok) :- % rodic(Predok, X), % potomok(Potomok, X). potomok(Potomok, Predok) :- rodic(X, Potomok), potomok(X, Predok). syn(Syn, Rodic) :- rodic(Rodic, Syn), muz(Syn). sestra(S1, S2):- zena(S1), rodic(Rodic, S1), rodic(Rodic, S2), S1 \= S2. /* Dcera je_dcera Rodic dcera(Dcera, Rodic) :- sestra(S1, S2) :- surodenci(S1, S2) :- ujo(Ujo, N) :- teta(Teta, N) :- */