Untitled

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