Quintus Prolog Homepage WELCOME TO
Quintus Prolog
The Industry Standard
  Quintus Home > Bibliography


If you are not familiar with Prolog, you may be interested in this bibliography. These are only a few of the recent books on Prolog - textbooks on Prolog programming and books on Prolog applications.

See also the SICStus links page for some useful links to other Prolog related sites on the Internet.

Prolog Programming

If you want to learn to program in Prolog, there is a wide selection of textbooks to choose from. Here are some that we recommend.

Prolog Programming for Students.
D. Caellar, Continuum, 2001.
ISBN: 0-826-45496-8

Clause and Effect : Prolog Programming for the Working Programmer.
W.F. Clocksin, Springer-Verlag, 1997.
ISBN: 3-540-62971-8

Prolog: The Standard.
P. Deransart et al, Springer-Verlag, 1996.
ISBN: 3-540-59304-7

Mastering Prolog.
R.J. Lucas, UCL Press, 1996.
ISBN: 1-857-28400-3

Prolog Programming in Depth. (2nd edition).
M.A. Covington et al. Prentice-Hall, 1996.
ISBN: 0-131-38645-X

Programming in Prolog. (4th edition).
Clocksin, W.F. and C.S. Mellish. Springer-Verlag, 1994.
ISBN: 3-540-58350-5

The Art of Prolog. (2nd edition).
Sterling, L. and E. Shapiro. The MIT Press, 1994.
ISBN: 0-262-19338-8

Prolog for Computer Science.
C.M. Dawe, M.S. Dawe. Springer-Verlag, 1994.
ISBN: 0-387-19811-3

The Logic Programming Tutor.
J. Paine, Kluwer, 1992.
ISBN: 1-871-51609-9

An Introduction to Programming in Prolog.
P. Saint-Dizier, Springer-Verlag, 1990.
ISBN: 0-387-97144-0

Prolog: A Logical Approach.
Dodd, T. Oxford University Press, 1990.
ISBN: 0-198-53821-9

The Craft of Prolog.
O'Keefe, R.A. The MIT Press, 1990.
ISBN: 0-262-15039-5

Advanced Prolog.
Ross, P. Addison-Wesley, 1989.
ISBN: 0-201-17527-4

Prolog by Example.
H. Coelho, J.C. Cotta, Springer-Verlag, 1988.
ISBN: 0-387-18313-2

Prolog for Programmers.
Kluzniak, F. and Szpakowicz, S. Academic Press, 1985.

Logic Programming

If you want a more in-depth understanding of the principles underlying programming in Prolog, here are some textbook to choose from.

From Logic Programming to Prolog.
K. Apt. Prentice-Hall, 1997.
ISBN: 0-132-30368-X

An Introduction to Logic Programming Through Prolog.
J.M. Spivey, M. Spivey, Prentice-Hall, 1996.
ISBN: 0-135-36047-1

Logic: The Basis for Understanding Prolog.
D.E. Cooke. Ablex, Norwood NJ, 1994.
ISBN: 1-567-50028-5

Foundations of Logic Programming (2nd edition).
J.W. Lloyd, Springer-Verlag, 1993.
ISBN: 3-540-18199-7

Essentials of Logic Programming.
C. Hogger, Clarendon Press, Oxford, 1990.
ISBN: 0-198-53832-4

Logic, Programming and Prolog.
U. Nilsson, J. Maluszynski, Wiley, 1990.
ISBN: 0-471-92625-6

Prolog Versus You.
A.-L. Johansson, Chartwell-Bratt, 1989.

Computing With Logic : Logic Programming With Prolog.
D. Maier, D.S. Warren, Benjamin Cummings, 1988.

Introduction to Logic Programming.
C. Hogger, Academic Press, 1984.
ISBN: 0-123-52092-4

Logic for Problem Solving.
Kowalski, R. Artificial Intelligence Series, North Holland, 1979.

General Applications

Prolog was originally used in Artificial Intelligence, but in the past few years it has increasingly found its way into more general applications. These books describe a few of those applications

Intelligent Image Processing in Prolog.
B.G. Batchelor, Springer-Verlag, 1991.
ISBN: 3-540-19647-1

Eco-Logic: Logic-Based Approaches to Ecological Modelling.
Robertson, D., A. Bundy, R. Muetzelfeldt, M. Haggith, and M. Uschold. The MIT Press, 1991.
ISBN: 0-262-18143-6

Logic Programming, Systematic Program Development.
Y. Deville, Addison-Wesley, 1990. ISBN: 0-201-17576-2

Logic Programming and Databases.
Ceri, S., G. Gottlob and L. Tanca. Springer-Verlag, 1990.
ISBN: 0-387-51728-6

The Practice of Prolog.
Sterling, L. The MIT Press, 1990.
ISBN: 0-262-19301-9

Why Prolog? Justifying Logic Programming for Practical Applications.
G.L. Lazarev, Prentice Hall, 1989.

Structured Systems Analysis Through Prolog.
Goble, T. Prentice Hall, 1989.
ISBN: 0-138-53581-7

Prolog Programming and Applications.
Burnham, W.D. and Hall, A.R. Macmillan, 1985.

Start Problem Solving with Prolog.
T. Conlon, Addison-Wesley, 1985.

Artificial Intelligence

If your application has an AI component, you can learn how to implement effective AI techniques in Prolog from the following books.

AI Programming

Artificial Intelligence : Structures and Strategies for Complex Problem Solving. (2nd edition).
G.F. Luger, W.A. Stubblefield, Addison-Wesley, 1997.
ISBN: 0-805-31196-3

Simply Logical: Intelligent Reasoning by Example.
P. Flach, John Wiley & Sons, 1994.
ISBN: 0-471-94152-2

Artificial Intelligence Techniques in Prolog.
Shoham, Y. Morgan Kaufmann, 1993.
ISBN: 1-558-60167-8

Cognitive Science Projects in Prolog.
P. Scott, R. Nicolson, Lawrence Erlbaum Assoc, 1991
ISBN: 0-863-77181-5

Knowledge Systems and Prolog.
Walker, A., M. McCord, J. Sowa, and W. Wilson. Addison-Wesley, 1990.
ISBN: 0-201-52424-4

Prolog Programming for Artificial Intelligence. (2nd edition).
Bratko, CITE. Addison-Wesley, 1990.
ISBN: 0-201-41606-9

Artificial Intelligence through Prolog.
Rowe, N.C. Prentice-Hall, 1988.
ISBN: 0-201-41606-9

Expert Systems

Knowledge Systems Through Prolog : An Introduction .
S.H. Kim, Oxford University Press, 1991.
ISBN: 0-195-07241-3

Prolog and Expert Systems.
Bowen, K.A. McGraw-Hill, 1991.
ISBN: 0-070-06731-7

Building Expert Systems in Prolog.
Merritt, D. Springer-Verlag, 1989.
ISBN: 0-387-97016-9

Expert Systems Lab Course.
Schnupp, P., C.T. Nguyen Huu and L.W. Bernhard. Springer-Verlag, 1989.
ISBN: 0-387-50570-9

Natural Language Processing

An Introduction to Natural Language Processing Through Prolog.
C. Matthews, Pearson, 1998.
ISBN: 0-582-06622-0

Natural Language Processing for Prolog Programmers.
Covington, M.A. Prentice Hall, 1994.
ISBN: 0-136-29213-5

Natural Language Computing - An English Generative Grammar in Prolog.
R.C. Dougherty, Lawrence Erlbaum Co., 1994
ISBN: 0-805-81526-0

Functional Grammar in Prolog : An Integrated Implementation for English, French, and Dutch.
S.C. Dik, Lawrence Erlbaum Assoc, 1991.
ISBN: 0-863-77181-5

Prolog for Natural Language Processing.
Gal, A., G. Lapalme, P. Saint-Dizier and H. Somers. Wiley, 1991.
ISBN: 0-471-93012-1

Natural Language Processing in Prolog.
Gazdar, G., and C.S. Mellish. Addison-Wesley, 1989.
ISBN: 0-201-18053-7

Logic Grammars.
H. Abramson and V. Dahl, Springer-Verlag, 1989.
ISBN: 0-387-96961-6

Prolog and Natural-Language Analysis.
F.C.N. Pereira and S.M. Shieber, CSLI Publications, 1987.
ISBN: 0-937-07318-0