Watch these lectures for an overview of the fundamental features of logic programming using several Scheme examples.
Lecture 42