Thinking as computation: a first course

1. Thinking and Computation

2. A Procedure for Thinking

3. The Prolog Language

4. Writing Prolog Programs

5. Case Study: Satisfying Constraints

6. Case Study: Interpreting Visual Scenes

7. Lists in Prolog

8. Case Study: Understanding Natural Language

9. Case Study: Planning Courses of Action

10. Case Study: Playing Strategic Games

11. Case Study: Other Ways of Thinking

12. Can Computers Really Think?.