Online Prolog tutorials and books

Here are some good tutorials and books you can find on the web. We'll require you to read some parts of some of these.

Quick Prolog This is a good place to start.
Prolog Programming A First Course. This was developed for a an undergraduate course on Prolog. It's available as a set of web pages or a pdf file.
prolog:-tutorial This is a good tutorial by John Fisher of Cal State Polytechnic University, Pumona
Adventure In Prolog
Building Expert Systems in Prolog (read Adventure In Prolog first)
Logic, Programming and Prolog (2ed) (the whole text in PDF)
Simply Logical - This book deals with methods to implement intelligent reasoning by means of Prolog programs.
Prolog Programming, by Roman Bartak, is an on-line guide to Prolog programming.

More Prolog resources

SICSTUS Prolog is the Prolog that is installed on our Sun and Linux systems in the csee department. We also have copies that can be installed on research machines (sun, linux, windows) run by the department. Contact Tim Finin (finin@umbc.edu) for information. There is an extensive user's manual available.
SWI-Prolog is a Free Software Prolog compiler, licensed under the Lesser GNU Public License. Being free, small and standard compliant, SWI-Prolog has become very popular for education.
Prolog according to Wikipedia
The comp.lang.prolog newsgroup
FAQ - comp.lang.prolog
Prolog Dictionary is a list of prolog-specific terms.
The first 10 Prolog programming contests - The first 10 Prolog Programming Contests took place in Ithaca (1994), Portland (1995), Bonn (1996), Leuven (1997), Manchester (1998), Las Cruces (1999), Paphos (2001), Copenhagen (2002), Mumbay (2003) and Saint-Malo (2004). The contest organisers have written this book, containing the (slightly reworked) questions and an answer (in Prolog of course) for each question.

Prolog AI Resources

Computational Intelligence -- A Logical Approach, David Poole Alan Mackworth, and Randy Goebel, Published by Oxford University Press, New York. This is a good AI textbook that uses prolog. Many resources are available at their site.

Using Prolog at UMBC

We have SICSTUS prolog installed on most of the OIT systems and also machines in the CSEE Department. See here for some help in getting started using this. You can also download and install SWI-Prolog on your own computer.

We should have SWI Prolog installed early in September 2006