Artificial intelligence through Prolog - Rowe, Neil C. (Englewood Cliffs, N.J. : Prentice-Hall, 1988)
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
Includes bibliographies and index.
Keywords: Prolog (Computer program language); Artificial intelligence