I recently started going through the book Thinking as Computation: A First Course by Hector Levesque, and I am finding it rather nice. It goes slow, but I like

I recently started going through the book Thinking as Computation: A First Course by Hector Levesque, and I am finding it rather nice. It goes slow, but I like slow. It uses Prolog as the computational implementation of the thesis that presents thinking as computation. https://mitpress.mit.edu/books/thinking-computation https://mitpress.mit.edu/books/thinking-computation Other books I have but haven't gone through yet are Adventure in Prolog and The Art of Prolog.