Untitled
unknown
plain_text
3 years ago
721 B
2
Indexable
muz(jirka). muz(honza). muz(zbynek). muz(ja). zena(zuzana). zena(jitka). zena(pavla). zena(klara). zena(mojeManzelka). rodic(jitka,honza). rodic(jitka,zuzana). rodic(zuzana,klara). manzele(zuzana,zbynek). manzele(ja,mojeManzelka). manzeleSYM(X,Y) :- manzele(X,Y). manzeleSYM(X,Y) :- manzele(Y,X). sestra(X,Y) :- zena(X), rodic(Z,X), rodic(Z,Y), X \= Y. deda(X,Y) :- muz(X), rodic(X,Z), rodic(Z,Y). dcera(X,Y) :- zena(X), rodic(Y,X). dcera(X,Y) :- manzeleSYM(Y,Z), rodic(Z,X). syn(X,Y) :- muz(X), rodic(Y,X). svagr(X,Y) :- muz(X), sestra(Z,X), manzeleSYM(Z,Y). svagr(X,Y) :- muz(X), manzeleSYM(X,Z), sestra(Z,Y).
Editor is loading...