Logic for Computer Scientists/Predicate Logic/Strategies for Resolution

< Logic for Computer Scientists‎ | Predicate Logic

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

Retrieved from "https://en.wikibooks.org/w/index.php?title=Logic_for_Computer_Scientists/Predicate_Logic/Strategies_for_Resolution&oldid=2286764"