Lecture 8B | MIT 6.001 Structure and Interpretation, 1986

Logic Programming, Part 2 Despite the copyright notice on the screen, this course is now offered under a Creative Commons license: BY-NC-SA. Details at http://ocw.mit.edu/terms Subtitles for this course are provided through the generous assistance of Henry Baker, Hoofar Pourzand, Heather Wood, Aleksejs Truhans, Steven Edwards, George Menhorn, and Mahendra Kumar. Source: https://www.youtube.com/watch?v=R3uRidfSpc4