Lecture #16 looked at resolution and the use of logic to program agents.
Notes are available in two formats:
The textbook covers this material (in a lot more detail) in Sections 9.5 and 7.7. You should take a look at these.