Comment by ssrc

* This book, PAIP, by Peter Norvig

* SICP, by Abelson and Sussman

* Lisp (3rd ed), by Winston and Horn

* The Art of Prolog, by Sterling and Shapiro

It's like the same book written by different authors, and all of them are good.