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.

Lecture 8A: Logic Programming, Part 1 - MIT 6.001 Structure and Interpretation of Computer Programs (Spring 2005)
MIT OpenCourseWare
34.6K views • Aug 22, 2019
Lecture 8A: Logic Programming, Part 1 - MIT 6.001 Structure and Interpretation of Computer Programs (Spring 2005)

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

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)
Rate:

Related Trending Topics

LIVE TRENDS

Related trending topics. Click any trend to explore more videos.