Artificial intelligence through Prolog /
Rowe, Neil C.
Artificial intelligence through Prolog / Neil C. Rowe - New Jersey : Prentice-Hall International Inc., c1988 - xx, 443 pages ; 24 cm.
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.
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.
130486795
ARTIFICIAL INTELLIGENCE
QA 76.7 .R69 1988
Artificial intelligence through Prolog / Neil C. Rowe - New Jersey : Prentice-Hall International Inc., c1988 - xx, 443 pages ; 24 cm.
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.
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.
130486795
ARTIFICIAL INTELLIGENCE
QA 76.7 .R69 1988