Michael A. Covington, the University of Georgia
Donald Nute, the University of Georgia
Andre Vellino, Nortel Technologies

Published May, 1996 by Prentice Hall Engineering/Science/Mathematics

Copyright 1997, 516 pp.
Paper
ISBN 0-13-138645-X

Sign up for future
mailings on this subject.

See other books about:
    Prolog--Programming-Computer Science

This text covers the Prolog programming language thoroughly with an emphasis on building practical application software, not just theory. Working through this book, students build several types of expert systems, as well as natural language processing software and utilities to read foreign file formats.
This is the first book to cover ISO Standard Prolog, but the programs are compatible with earlier dialects of the language. Program files are available by FTP from The University of Georgia.




Emphasizes practical computer programming, not just theory.
Requires no prior knowledge of Al, logic, or programming.
Includes working expert system shells of several types.
Covers defeasible (non-monotonic) as well as classical logic.
Covers natural language processing briefly (in 1 chapter).
Solves “real-world” problems such as how to read foreign file formats and how to make Prolog programs portable.

• Includes Prolog code to read Lotus spreadsheets.

Programs are compatible with any Edinburgh-type Prolog implementation (Quintus, LPA, ESL, Arity, Cogent, etc.).

• An appendix tells how to track down and eliminate incompatibilities.

Describes the new ISO Prolog standard fully in an appendix.
Contains numerous hands-on exercises—a problem set at the end of every section.



I. THE PROLOG LANGUAGE.

1. Introducing Prolog.
2. Constructing Prolog Programs.
3. Data Structures and Computation.
4. Expressing Procedural Algorithms.
5. Reading Data in Foreign Formats.
6. Prolog as its own Metalanguage.
7. Advanced Techniques.

II. ARTIFICIAL INTELLIGENCE APPLICATIONS.

8. Artificial Intelligence and the Search for Solutions.
9. A Simple Expert System Shell.
10. An Expert System Shell with Uncertainty.
11. Defeasible Prolog.
12. Natural Language Processing.

APPENDICES.

A. Summary of ISO Prolog.
B. Some Differences Between Prolog Implementations.
Bibliography.
Index.

---

© Prentice-Hall, Inc. A Simon & Schuster Company Comments To webmaster@prenhall.com