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.
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.