perm filename FACT.F79[206,LSP] blob sn#482121 filedate 1979-10-14 generic text, type C, neo UTF8
C00001 00001
C00002 00002	.REQUIRE "206MAC.PUB[206,LSP]" source_file
C00003 00003	.hd206 FALL 1979
C00006 00004	.NEXT PAGE
C00011 ENDMK
.REQUIRE "206MAC.PUB[206,LSP]" source_file;
.even heading({page}, , ) ;
.odd heading({page},,) ;
.hd206 FALL 1979
.PAGE ← 1
.instr Carolyn Talcott, |AI Lab (497-4971)|, by appointment.
.ta Martin Brooks, |AI Lab (497-4971)|, |(tentatively) LOTS Tu-Th 7-9pm and by appointment.|
.meet |MWF  9:00|, Terman 156
.books |McCarthy and Talcott, LISP, Programming and Proving (sold in class)@
.MACLISP Manual @
.DECsystem-20 Overview (Basic LOTS Manual)@
.Weissman, Clark, LISP 1.5 Primer (Optional)|
.work |	 This course consists of lectures, homework, a midterm 
.examination, a final examination, and a term project.  Projects will be 
.due on the  day of the final  examination.  It is possible to get a 
.grade of B+ or Pass in the course without doing a  project, and the 
.grade of INC  will be given only under exceptional circumstances.  
.Therefore, those who  aspire to some flavor of  A  should start their 
.projects early.  A handout with more complete information on the term 
.project will be out soon.|
.|  We will be using the LOTS computing facility.  
.It is located in the CERAS building (East of the bookstore on Galvez St).
.Additional terminals, printers, etc. are also located on the ground floor of
.the Terman Engineering Center.
.Both facilities are scheduled to be open 7 days a week and 24 hours a day.
.To get an account, go to LOTS, obtain an "Introduction to LOTS" 
.handout and fill out the attached form.  Then find an available terminal, 
.type OPEN after getting the system's attention, and follow the 
.instructions.  Your account should be ready after one working day.  
.You can "login" as GUEST with password GUEST just to try the system out.|

	The following books, manuscripts, papers, reports, etc. are
on reserve at the Computer Science Library:

    [SAILON is an abbreviation for Stanford Artificial Intelligence 
Laboratory Operating Note; AIM abbreviates Artificial Intelligence

Allen, John R., "Anatomy of LISP", McGraw-Hill spring 1978.

Baumgart, Bruce G., "MICRO PLANNER Alternate Reference Manual", 
SAILON 67, 1972.

Berkeley, E.C. and D.G. Bobrow, eds., "The Programming Language LISP:
Its Operation and Applications", Information International, Inc.,
Cambridge, Mass., 1964.

Bobrow, D.G., R.R. Burton and D. Lewis, "UCI LISP Manual", Reprinted from
UC Irvine Information and Computer Science Technical Report No. 21, 1972.

Bobrow, D.G. and B. Raphael, "New Programming Languages for AI Research",
XEROX CSL-73-2, 1976.

Friedman, D.P. and D.S. Wise, "An Environment for Multiple-Valued Recursive 
Procedures", Indiana University Comp. Sci. Dept. Technical Report #40, 1975.

Friedman, D.P. and D.S. Wise, "Cons Should not Evaluate Its Arguments", 
Indiana University Comp. Sci. Dept. Technical Report #44, 1976.

Henderson, P. and J.H. Morris,  "A Lazy Evaluator",
Third ACM Symp on Principles of Programming Languages, 95-103, 1976.

Maurer, W.D., "The Programmer's Introduction to LISP", 
MacDonald / American_Elsevier, 1972.

McCarthy, John, et al, "LISP 1.5 Programmer's Guide", MIT Press, 1965.

Smith, D.C., "MLISP", AIM 135, 1970.

Sussman, G.J. and G.L. Steele, "SCHEME, An Interpreter for Extended Lambda Calculus",
MIT-AI Memo 349, 1975.

Sussman, G.J. and G.L. Steele, "LAMBDA, The Ultimate Imperitave", 
MIT-AI Memo 353, 1976.

Steele, G.L., "LAMBDA, The Ultimate Declarative", MIT-AI Memo 379, 1976.

Sussman, G.J. and G.L. Steele, "The Art of the Interpreter", 
MIT-AI Memo 453, 1978.

Sussman, G.J. and G.L. Steele, "The revised report on SCHEME, a Dialect of LISP",
MIT-AI Memo 452, 1978.

Teitelman, W., D. Bobrow, and A. Hartley, "INTERLISP Reference Manual", 
Xerox PARC, 1973.

Weissman, C., "LISP 1.5 Primer", Dickenson, Belmont, CA., 1967.
Other publications about LISP, data structures, and other languages used in AI:

Hewitt, C., "Description and Theoretical Analysis (Using Schemata)
of PLANNER", MIT-AI Technical Report 258, 1972.

London, R., "Correctness of Two Compilers for a LISP Subset", AIM-151, 1971.

McDermott, D.V. and G.J. Sussman, "The CONNIVER Reference Manual", MIT-AI
Technical Report 259,  1972.

Rulifson, J.F., J.A. Dirkson and R.J. Waldinger, "QA4: A Procedural Calculus for
Intuitive Reasoning", SRI-AIC Technical Note 73, 1972.