Techniques of PROLOG Programming with Implementation of Logical Negation and Quantified Goals
Published on 23. October 1992
Book
Paperback/Softback
624 pages
978-0-471-57175-9 (ISBN)
Description
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.
Reviews / Votes
"This book has the possibility of being The Prolog Reference Book I would recommend the book for all the high quality examples alone. " Roy Freedman, Inductive Solutions, Inc. "This is the strongest book (in Prolog programming) on the market, by virtue of its coverage. The author hits a lot of the tried and true stuff in Prolog as well as some new departures. " Kevin Reilly, University of Alabama at Birmingham "The writing style is very clear and the explanations are logically presented. Students with no background in Prolog should be able to read the first two-thirds of this book and understand all of it. " Clint Smullen, University of Tennessee "The overall balance of the work is reasonable and appropriate. The organization is good, the examples and problems are excellent I believe it will be an excellent book for Prolog and AI courses. " Quang van Tran, Oklahoma State University "There seems to be hardly any programming problem which is not dealt with in one place or another. This should enable a very rich range of courses to be developed around the book. " Christopher Hogger, Imperial College, LondonMore details
Person
T. Van Le is the author of Techniques of Prolog Programming with Implementation of Logical Negation and Quantified Goals, published by Wiley.
Content
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.