DATALOG
interpretácia dôkazom
• je_vedúci(Michal, Gabriel) – fakt
• je_vedúci(Andrej,Michal) – fakt
• je_nadriadený(Michal,Gabriel) 1. odvodený fakt
• je_nadriadený(Andrej,Gabriel) :- je_vedúci(Andrej,Michal), je_nadriadený(Michal,Gabriel)
2. odvodený fakt, nakoľko je totožný s cieľom, inferencia je úspešne ukončená
interpretácia modelovaním
známe 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);
je_vedúci(X,Y) is false pre všetky ostatné kombinácie (X,Y)
odvodené fakty :
je_nadriadený(Andrej,Michal) is true; je_nadriadený(Andrej,Fero) is true
je_nadriadený(Michal,Gabriel) is true; je_nadriadený(Fero,Jozef) is true
je_nadriadený(Andrej,Jana) is true; je_nadriadený(Jana,Dušan) is true
je_nadriadený(Fero,Peter) is true; je_nadriadený(Jana,Zuzana) is true
je_nadriadený(Jana,Mirka) is true; je_nadriadený(Andrej,Gabriel) is true je_nadriadený(Andrej,Jozef) is true; je_nadriadený(Andrej,Peter) is true
je_nadriadený(Andrej,Dušan) is true; je_nadriadený(Andrej,Zuzana) is true
je_nadriadený(Andrej,Mirka) is true;
