TY  - BOOK
AU  - Rowe, Neil C.
TI  - Artificial intelligence through Prolog
SN  - 130486795
AV  - QA 76.7 .R69 1988 
PY  - 1988///
CY  - New Jersey
PB  - Prentice-Hall International Inc.
KW  - ARTIFICIAL INTELLIGENCE
N1  - Includes bibliographical references and index; 1. Introduction -- 2. Representing facts -- 3. Variables and queries -- 4. Definitions and inferences -- 5. Arithmetic and lists in prolog -- 6. Control structures for rule-based systems -- 7. Implementation of rule-based systems -- 8. Representing uncertainty in rule-based systems -- 9. Search -- 10. Implementing search -- 11. Abstraction in search -- 12. Abstraction of facts -- 13. Problems with many constraints -- 14. A more general logic programming -- 15. Testing and debugging of artificial-intelligence programs
N2  - This book has about 500 chunks of code. Clear, concrete formalization of artificial-intelligence ideas by programs and program fragments is all the more critical today with commercialization and media discovery of the field
ER  -