AIMA - Inference in First-Order Logic
In which we define effective procedures for answering questions posed in first-order logic.
This chapter was basically about how you can write inference procedures for first-order logic, like you could in propositional logic. I didn’t spend enough time reading it (I basically skimmed the last 15 pages) so my understanding here isn’t great.