Contents    Page-10    Prev    Next    Page+10    Index   

Ways to Prove Theorems

Given a set of facts ( ground literals) and a set of rules, a desired theorem can be proved in several ways: