Logic Programming
06-25433
Autumn 2012

 

 

 

Reading

There are a number of good books about Prolog, some of which are listed here. There is no best course: if you want to buy one, look through the books in the School Library and find the one that suits you best. There are also some on-line tutorials to which a link is given below.

 

Books about Prolog

Bratko, I. Programming in Prolog for Artificial Intelligence. 3rd edition. Addison-Wesley, 2001.

A textbook with a fairly concise introduction to Prolog in the first 180 or so pages. The remainder shows applications to Artificial Intelligence, improved over previous editions.

Programs used in the text are available.

 

Coelho, H. & Cotta, J. C. Prolog by example: how to learn, teach, and use it. Berlin: Springer, 1988.

A wide ranging collection of example programs written in a variety of styles.

Clocksin, W.F. & Mellish, C.S.Programming in Prolog. 5th edition. Springer, 2003.

First introductory textbook, suitable as an alternative for those who wish to use a book as well as the WWW-based teaching material.

 

Covington, M.A., Nute, D. & Vellino, A. Prolog programming in depth. Prentice Hall, 1996.

Good on ISO Standard Prolog with much advanced material and some interesting applications of Prolog.

Programs used in the text are available from: ftp://ai.uga.edu/pub/prolog.book
 

O'Keefe, R.A. The Craft of Prolog. MIT, 1990.

An advanced book that includes wealth of fascinating material about computer science in general and Prolog in particular.

 
 

Sterling, L. & Shapiro, E. The Art of Prolog. 2nd edition. MIT, 1994.

A textbook with much introductory material as well as some more advanced material. Suitable as an alternative to Clocksin & Mellish for those who want a more advanced book that supplements the WWW-based teaching material.

Programs used in the text are available.

Books about programming with constraints

 

Frühwirth, T. & Abdennader, S. Essentials of constraint programming. Springer, 2003.

An introduction to the principles behind Constraint Logic Programming, and discussions of some practical applications. Good introduction to the theory behind Logic and Constraint Logic Programming.

 

Marriott, K. & Stuckey, P.J. Programming with constraints: an introduction. MIT Press, 1998.

An introduction to the principles behind Constraint Logic Programming, with practical examples.

 

Books about programming for Natural Language Processing

 

Gazdar, G. & Mellish, C. Natural language processing in Prolog: an introduction to computational linguistics. Addison-Wesley, 1989.

Not a general introduction to Prolog, but has many examples of the practical use of Prolog in NLP and other fields.

 

Ross, P. Advanced Prolog: techniques and examples. Addison-Wesley, 1989.

An advanced book suitable for those who have worked through Clocksin & Mellish and who wish to see how Prolog can be used in mainly Artificial Intelligence applications. Includes a good implementation of a versatile chart parser.

Books about Artificial Intelligence

 

Russell, S. J. & Norvig, P. Artificial intelligence: a modern approach. 3rd ed. Pearson, 2010.

Covers a very wide range of AI.

 

 

Online Prolog teaching resources

As Prolog is a very slim language, writing an on-line learning package is very feasible. There is a Wikipedia article, which also lists a number of online teaching resources. Perhaps it is best to look through them and pick the one that suits you best at the moment.