- Emphasizes practical computer programming, not just theory. Pg.___
- Requires no prior knowledge of Al, logic, or programming. Pg.___
- Includes working expert system shells of several types. Pg.___
- Covers defeasible (non-monotonic) as well as classical logic. Pg.___
- Covers natural language processing briefly (in 1 chapter). Pg.___
- Solves “real-world” problems such as how to read foreign file formats and how to make Prolog programs portable. Pg.___
- Programs are compatible with any Edinburgh-type Prolog implementation (Quintus, LPA, ESL, Arity, Cogent, etc.). Pg.___
- Describes the new ISO Prolog standard fully in an appendix. Pg.___
- Contains numerous hands-on exercises—a problem set at the end of every section. Pg.___
- Copyright 1997
- Dimensions: 7" x 9-1/4"
- Pages: 516
- Edition: 1st
- ISBN-10: 0-13-138645-X
- ISBN-13: 978-0-13-138645-7
This book covers the Prolog programming language thoroughly with an emphasis on building practical application software, not just theory. Working through this book, readers 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.
Table of Contents
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.