% KSP 19-1-6 Tchyne

% žena(X) znamená, že X je žena
zena(brunhilda).
zena(krasomila).
zena(kazimira).

% muž(X) znamená, že X je muž
muz(jarous).

% rodič(Rodič,Dítě) znamená, že Rodič je rodičem Dítěte
rodic(brunhilda, jason).
rodic(kazimira, krasomila).

% manželé(Manžel, Manželka) znamená, že Manžel a Manželka jsou manželé.
% Domluvme se, že na prvním místě je manžel a na druhém vždy manželka.
manzele(jason,krasomila).

% tchýně(Tchýně, X) zjišťuje, zda Tchýně je tchýní X
tchyne(Tchyne, X) :- zena(Tchyne), manzele(X,Y), rodic(Tchyne,Y).
tchyne(Tchyne, X) :- zena(Tchyne), manzele(Y,X), rodic(Tchyne,Y).

% muzeme psát také
tchyne(Tchyne, X) :- zena(Tchyne), ( manzele(X,Y) ; (manzele(Y,X) ), rodic(Tchyne, Y).