This is the first cohesive text on artificial intelligence and software development using PROLOG as the language.

Part I: Fundamentals; 1. Introduction; 2. Historical and Conceptual Foundations; Part II: PROLOG; 3. Statements; 4. Elementary Objects; 5. Operators; 6. Reasoning Strategies; 7. Lists; 8. Debugging; 9. Input/Output; 10. Knowledge Base Modifications; 11. Meta-Predicates; 12. Operator Syntax; 13. Grammar Rules; Part III: Knowledge Structures and Systems; 14. Knowledge Representation; 14.1. Facts; 14.2. Rules; 14.3. Frames; 14.4. Networks; 15. Knowledge Utilization; 15.1. Forward vs. Backward; 15.2. Depth-First vs. Breadth-First; 16. Software Development Strategy; 17. Knowledge Systems in Industry; Part IV: Applications in PROLOG; 18. Robot Simulator; 19. Calculus Aide; 20. Investment Counselor; Part V: Supplementary Topic; 21. Logical Foundations of PROLOG

Steven H. KimAssistant Professor of Mechanical Engineering, Massachusetts Institute of Technology

"Kim does a good job in trying to explain the difficult-to-learn Prolog language." --Choice