CS 61A Lecture 41: Logic Programming I

CS 61A The Structure and Interpretation of Computer Programs
Instructor Brian Harvey
Spring 2008

Introduction to programming and computer science. This course exposes students to techniques of abstraction at several levels: (a) within a programming language, using higher-order functions, manifest types, data-directed programming, and message-passing; (b) between programming languages, using functional and rule-based languages as examples. It also relates these techniques to the practical problems of implementation of languages and algorithms on a von Neumann machine. There are several significant programming projects, programmed in a dialect of the LISP language.

Category:

Education

Tags:

• uc
• berkeley
• computer
• science
• cs
• 61A
• course
• class
• yt:quality=high

[MrDebashishMohanty]

@ready7 The answer is UNDECIDABLE.

[Lamalditachola]

UM...UM....

[cosmin9274]

tam tam tam .... 41:13

[120ohm]

Those boards are just like a double hung window... There on a track and move up or down.

[ready7]

How the hell did he write on the top of the blackboard?

[troizvulkanu]

I am falling asleep by listening to this guy. But I really love logic programming. When you are interrested in this topic, try out the Prolog language :). (in this video are shown a prolog "interpreter" in scheme)

[QuanSai]

Sweet. I wish I could go. Maybe grad school. :)

[THEgosukorean]

yes, the first in a series of 3 required courses for CS and EECS majors

[Think567]

this guy sounds really bored with the material, lol

[QuanSai]

Is this an undergrad course?