TY  - BOOK
AU  - Rowe,Neil C.
TI  - Artificial intelligence through Prolog
SN  - 0130486795
AV  - QA76.73.P76 R69 1988
PY  - 1988///, ©1988
CY  - Englewood Cliffs, N.J.
PB  - Prentice-Hall
KW  - Prolog (Computer program language)
KW  - Artificial intelligence
N1  - Includes bibliographies and index; Preface; Acknowledgements; To the reader; 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; Appendix A: basics of logic; Appendix B: Basics of recursion; Appendix C: Basics of data structures; Appendix D: summary of the Prolog dialect used in this book; Appendix E: Using this book with Micro-Prolog; Appendix F: For further reading; Appendix G: Answers to selected exercises
ER  -