Section 9.3 discusses FIrst-Order definite clause knowledge bases and a simple forward chaining algorithm you can run on them to infer some fact or answer some query.
In the video, we go through that as well as an example of representing knowledge using First-Order logic definite clauses and then running the chaining algorithm to prove that someone is a criminal.... ooh...so mysterious...
// You can now purchase all slides used for the course in one package at a substantial discount:
https://payhip.com/b/JYPsg
You can now purchase the slides in this video here:
https://payhip.com/b/crURT
