First page Back Continue Last page Overview Graphics
Terminologie a omezení
termy: proměnné nebo konstanty
tvrzení (fakty) jsou atomické formule obsahující pouze konstanty
pravidla jsou Hornovy klausule
L0:- L1,…,Ln
kde jsou atomické (positivní) formule
atomické formule nebo negace atomických formulí se nazývají literály.
positivní a negativní literály
tvrzení se nazývají základní literály