Lecture 7B - Metacircular Evaluator (Part 2)
Lecture 8A - Logic Programming (Part 1)
Lecture 8B - Logic Programming (Part 2)