Logic for Computer Scientists/Predicate Logic/Strategies for Resolution

From Wikibooks, open books for an open world
< Logic for Computer Scientists‎ | Predicate Logic
Jump to: navigation, search

5.8.1 Linear Resolution
5.8.2 Input and Unit Resolution
5.8.3 SLD-Resolution
5.8.4 A Prolog-like Implementation
5.8.5 Iterative Deepening