#!/usr/bin/env python
# encoding=utf-8 (pep 0263)

# fakty (DB)
# klici hasove tabulky jsou jmena potomku, hodnotami jmena rodicu
otec = dict(dana="milan", petr="milan", david="jan")
matka = dict(dana="pavla", petr="pavla", david="jana")
potomci = set(list(otec.keys()) + list(matka.keys()))

# pravidla
def rodic(x, y):
    return y in otec and otec[y] == x or \
        y in matka and matka[y] == x

def rodic_anyX(y):
    xs = []
    if y in otec:
        xs.append(otec[y])
    if y in matka:
        xs.append(matka[y])
    return xs

def sourozenci(x, y):
    return x in otec and y in otec and otec[x] == otec[y] and x != y and \
        x in matka and y in matka and matka[x] == matka[y]

def sourozenci_anyY(x):
    ys = []
    for y in potomci:
        if sourozenci(x, y):
            ys.append(y)
    return ys

# demonstracni vypis
if __name__ == "__main__":
    print("Vysledek dotazu otec['dana'] je '%s'." % otec["dana"])
    print("Vysledek dotazu rodic_anyX('david') je %s." % \
            rodic_anyX("david"))
    print("Vysledek dotazu sourozenci_anyY('dana') je %s." % \
            sourozenci_anyY("dana"))

Vysledek dotazu otec['dana'] je 'milan'.
Vysledek dotazu rodic_anyX('david') je ['jan', 'jana'].
Vysledek dotazu sourozenci_anyY('dana') je ['petr'].

% nacteni:
/* ['1.1.1_13.pl']. */

% fakty (DB)
otec(milan,dana).
otec(milan,petr).
otec(jan,david).

matka(pavla,dana).
matka(pavla,petr).
matka(jana,david).

% pravidla
rodic(X,Y):- otec(X,Y).
rodic(X,Y):- matka(X,Y).

sourozenci(X,Y):- otec(O,X), otec(O,Y), X\=Y, matka(M,X), matka(M,Y).

% demonstracni vypis

  % abychom se vyhli varovanim "Redefined static procedure ..."
:- dynamic
       write_all_X/3,
       start/0.
       
write_all_X(Goal,X,Name):-
            call(Goal),write('  '),write(Name),write(' = '),write(X),nl,fail.
write_all_X(_,_,_).

start:-
    write('Program predstavuje jednoduchou prologovskou databazi'),nl,
    write('s fakty i pravidly o rodinnych vztazich "otec", "matka"'),nl,
    write('a "rodic".'),nl,nl,
    write('Na databazi muzeme klast pomoci volani prologovskych cilu'),nl,
    write('ruzne dotazy. Napr.:'),nl,nl,
    write('Vysledek dotazu "otec(X,dana)" je:'),nl,
    write_all_X(otec(X,dana),X,'X'),nl,
    write('Vysledky dotazu "rodic(X,david)" jsou: '),nl,
    write_all_X(rodic(X,david),X,'X'),nl,
    write('Vysledek dotazu "sourozenci(dana,Y)" je:'),nl,
    write_all_X(sourozenci(dana,Y),Y,'Y'),nl,
    write('Sami si vyzkousejte dalsi kombinace.'),nl.
?-start.

:- retractall(write_all_X/3).
:- retractall(start/0).

Program predstavuje jednoduchou prologovskou databazi
s fakty i pravidly o rodinnych vztazich "otec", "matka"
a "rodic".

Na databazi muzeme klast pomoci volani prologovskych cilu
ruzne dotazy. Napr.:

Vysledek dotazu "otec(X,dana)" je:
  X = milan

Vysledky dotazu "rodic(X,david)" jsou: 
  X = jan
  X = jana

Vysledek dotazu "sourozenci(dana,Y)" je:
  Y = petr

Sami si vyzkousejte dalsi kombinace.