Lecture 8A: Logic Programming, Part 1 - MIT 6.001 Structure and Interpretation of Computer Programs (Spring 2005)
An introduction to logic programming as part of MIT's 6.001 course, covering fundamental concepts and techniques in the first part of the series.

MIT OpenCourseWare
34.6K views • Aug 22, 2019

About this video
MIT 6.001 Structure and Interpretation of Computer Programs, Spring 2005
Instructor: Harold Abelson, Gerald Jay Sussman, Julie Sussman
View the complete course: https://ocw.mit.edu/6-001S05
YouTube Playlist: https://www.youtube.com/playlist?list=PLE18841CABEA24090
Logic Programming, Part 1
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.
More courses at https://ocw.mit.edu
Instructor: Harold Abelson, Gerald Jay Sussman, Julie Sussman
View the complete course: https://ocw.mit.edu/6-001S05
YouTube Playlist: https://www.youtube.com/playlist?list=PLE18841CABEA24090
Logic Programming, Part 1
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.
More courses at https://ocw.mit.edu
Tags and Topics
Browse our collection to discover more content in these categories.
Video Information
Views
34.6K
Likes
591
Duration
41:45
Published
Aug 22, 2019
User Reviews
4.7
(6) Related Trending Topics
LIVE TRENDSRelated trending topics. Click any trend to explore more videos.