Rowe, Neil C. <br/><br/>
Artificial intelligence through Prolog / 
Neil C.  Rowe 
 - New Jersey :  Prentice-Hall International Inc.,  c1988 
 - xx, 443 pages ;  24 cm. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/>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. 
<br/><br/> 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. 
<br/><br/><label>ISBN: </label>130486795 
<br/><br/><label>Subjects--Topical Terms: </label><br/>ARTIFICIAL INTELLIGENCE
<br/><br/><label>LC Class. No.: </label>QA 76.7 .R69 1988