Lecture #21 looked at using logic to program simple agents.
Notes are available in two formats:
The material in the lecture is similar to, but much briefer than, the material in sections 7.7, 8.3 and 8.4 of Russell and Norvig.