This page is no longer being updated. See the programming sections of our AI on the Web page instead.

This page gives suggestions for AI programs, programming languages, online resources, and programming textbooks. See also CMU's AI Programming FAQs and Temple's list of software from AI books.

Lisp

• Common Lisp: the Language (2nd edition) (also known as CLtL2); an online html version of the de facto (although unofficial) Common Lisp reference.
• A HyperSpec version of the ANSI Standard for Common Lisp, the new standard. This makes Lisp the first object-oriented language recognized by ANSI (American national Standards Institute).

Public Domain AI Software

• Chinook: a checkers program. Play via http; no source code available.
• UCPOP: a planner similar to the POP planner in the text. Common Lisp plus CLIM.
• Otter: a theorem prover. C.
• DTP: a theorem prover. Common Lisp.
• Epilog: theorem prover and logical language toolkit. Binary for Mac, HP.
• CLIPS: a Tool for Building Expert Systems. C.
• Belief net software: a listing of both free and commercial belief net software.
• CLASP: package for visualizing and analyzing statistics. Common Lisp.
• Irvine Machine Learning programs.
• MLC++: a machine learning library. C++.
• CMU AI Repository of software packages.

Online Resources for Lisp

• Lisp tutorials from Johns Hopkins, and Texas A & M, Civilized Software.
• Index of Lisp references (from Yahoo).
• Thule Lisp Resources (from CMU).
• The Lisp FAQ (Frequently Asked Questions list), including pointers to where you can get both free and commercial implementations of Common Lisp.
• The Association of Lisp Users. Don't miss the Humor page.
• Lisp Resources at University of Massachusetts.
• Lisp code accompanying AI textbooks.
• The New Hacker's Dictionary

Online Resources for Prolog

• Prof. Larry Holder of Univ. of Texas at Arlington has created a Prolog code repository which replicates much of our Common Lisp code (and adds some new material).
• Index of Prolog references (from Yahoo).
• The Prolog FAQ (Frequently Asked Questions list).
• LIFE: Logic, Inheritance, Functions, and Equations: a computer language that can be seen as an extension of Prolog.

Lisp/AI Textbooks

• Paradigms of AI Programming: Case Studies in Common Lisp, P. Norvig, 1991.
• Artificial Intelligence Programming, E. Charniak, C. Riesbeck, D. McDermott, and J. Meehan, 1987.
• Building Problem Solvers, K. Forbus and J. de Kleer, 1993.
• Lisp, P. Winston and B. Horn, 1988.

Lisp Textbooks and References

• Common Lisp: the Language (2nd edition), Guy Steele, 1990.
• ANSI Common Lisp, Paul Graham, 1995.
• On Lisp, Paul Graham, 1994.
• Common LispCraft, Robert Wilensky.
• A Gentle Introduction to Common Lisp, David Touretzky.
• The Structure and Interpretation of Computer Programs, Gerry Sussman and Hal Abelson.
• Common Lisp: An Interactive Approach, Stuart Shapiro

Prolog/AI Textbooks

• Prolog Programming for Artificial Intelligence, I. Bratko, 1990.
• Artificial Intelligence Techniques in Prolog, Y. Shoham, 1994.

Prolog Textbooks and References

• Programming in Prolog (3rd edition), Clocksin and Mellish.
• The Craft of Prolog, Richard O'Keefe.