DATALOG
Príklady :
predikáty :
je_vedúci(X,Y); X je vedúcim Y
je_nadriadený(X,Y); X je nadriadeným Y
je_podriadený(X,Y); X je podriadeným Y
fakty :
je_vedúci(Andrej,Michal); je_vedúci(Andrej,Fero); je_vedúci(Michal,Gabriel)
je_vedúci(Fero,Jozef); je_vedúci(Andrej,Jana); je_vedúci(Jana,Dušan); je_vedúci(Fero,Peter); je_vedúci(Jana, Zuzana); je_vedúci(Jana,Mirka)
pravidlá :
je_nadriadený(X,Y) :- je_vedúci(X,Y)
je_nadriadený(X,Y) :- je_vedúci(X,Z), je_madriadený(Z,Y)
je_podriadený(X,Y) :- je_nadriadený(Y,X)
(čiarky plnia funkciu logického AND)
dotazy :
1. je_nadriadený(Andrej,Gabriel) ?
2. je_nadriadený(Andrej,Y) ?
