Hector J. Levesque
MIT Press, Cambridge, MA, USA
2012
This work guides students through an exploration of the idea that thinking might be understood as a form of computation. After an introduction to the basic concepts, this book offers three chapters on Prolog, covering back-changing, programs and queries, and how to write the sorts of Prolog programs used in the book. Thinking and computation – A procedure for thinking – The Prolog language – Writing Prolog programs – Case study : satisfying constraints – Case study : interpreting visual scenes – Lists in Prolog – Case study : understanding natural language – Case study : planning courses of action – Case study : playing strategic games – Case study : other ways of thinking – Can computers really think?
