Approaches the subject by applying the format used in successful language courses. Offers a comprehensive exhibition of Prolog programming techniques in four stages--declarative, procedural, advanced and meta-programming. Presents simple and efficient implementation of logical negation and quantified goals which are necessary in expert systems. The dynamics of these new features are shown in the construction of a multilingual expert system shell that supports negative and quantified queries as well as subtypes. The easy-to-follow tutorial style and numerous fully-solved exercises facilitate understanding. Comes with 3.5 inch disk containing all programs in the book.
Table of Contents
Declarative Prolog Programming.
Procedural Prolog Programming.
Control and Side-Effect Features of Prolog.
Development of Prolog Programs.
Advanced Programming Techniques and Data Structures.
Search Techniques.
Meta-Programming in Prolog.
Building Expert Systems in Prolog.
Natural Language Processing in Prolog.
System Simulation in Prolog.
Appendices.
Bibliography.
Index.