Logic for Computer Scientists/Predicate Logic/Strategies for Resolution

< Logic for Computer Scientists | Predicate Logic

This page may need to be reviewed for quality.

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/wiki/Logic_for_Computer_Scientists/Predicate_Logic/Strategies_for_Resolution"