Appropriate for courses in artificial intelligence, computer science, logic programming, and expert systems. Can be used as supplemental text in courses in computational linguistics (natural language processing).
- 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. 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.___
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.