% 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.
| #!/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'].
|