Catalog · Structure and Interpretation of Computer Programs Lecture 15 of 20 8A: Logic Programming, Part 1 ← Previous 7B: Metacircular Evaluator, Part 2 Next → 8B: Logic Programming, Part 2 ✓ Mark complete Materials Transcript (PDF) ↗ transcript