Inference in first-order logic I CIS 391 – Introduction to Artificial Intelligence AIMA Chapter 9.1-9.2 (through p. 278) Chapter 9.5 (through p. 300)
