Artificial intelligence through Prolog / Neil C. Rowe.

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