Techniques of Prolog Programming with Implementation of Logical Negation and Quantified Goals
Author | : T. Van Le |
Publisher | : Wiley |
Total Pages | : 624 |
Release | : 1992-11-06 |
ISBN-10 | : 047157175X |
ISBN-13 | : 9780471571759 |
Rating | : 4/5 (5X Downloads) |
Book excerpt: 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.