PROGRAMMING IN LISP

CS193L, taught by John McCarthy in Spring 1998, meets Monday and Wednesday 3:45 - 5:00.

One text is Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp by Peter Norvig, Morgan-Kaufman. I recommend buying it from Amazon.com, the on-line bookstore. The other is some chapters from the unpublished book Lisp: programming and Proving by John McCarthy and Carolyn Talcott. It will be distributed as a handout. Common Lisp is described officially in the Common Lisp Reference Manual

edited by Guy Steele.

Current announcements are in reverse chronological order.

This year CS193L emphasizes the features of Lisp that make it distinct from other programming languages except Scheme.

Here are some of the features.

1. Lisp programs are Lisp data. This is used to write programs that write programs and run them right away.
2. Recursive conditional expressions are an elegant mathematical formalism that makes some programs easy to write, understand, and prove properties of.
3. Lisp macros have the full power of Lisp.
4. [More to come]