CSC384S -
Introduction to Artificial Intelligence
References
and Online Resources
Below are a few references on Prolog.
Any of the texts should serve as a good reference. Since you've all
had some experience with Prolog you probably won't need these. To
quickly look up a few things, you might try one of the online references.
There are some brief Notes on Running XSB
Prolog on CDF to refresh your memory.
- Leon Sterling, Ehud Shapiro:
The Art of Prolog, MIT Press, 1986 (2nd ed. 1994)
- W.F. Clocksin and C.S. Mellish: Programming in Prolog,
Springer-Verlag, New York, 1981. (4th ed. 1994)
- Several other decent books exist.
- XSB Prolog is the Prolog you should use on CDF. The
XSB Home Page contains
some useful information, including manuals. Some documentation
(maybe even enough is available locally on CDF machines; see
/local/doc/xsb.ps. There is nothing
special about XSB that should be used for this course (please
don't use tabling, and definitely don't use higher-order logic!
You'll lose marks for that :-) You can also download XSB for
use at home (though I haven't done so).
- Another readily available Prolog for home use is
SWI Prolog. It is pretty compact if that is a concern for you.
A very nice supplementary reference on AI is the textbook
Artificial Intelligence: A Modern Approach
, which covers a number of topics not addressed in our textbook.
For those interested in some additional topics, or those who want a
different perspective on the topics we do cover than the one offered
by Poole, Mackworth, and Goebel, please take a look.