(I'd probably pick PAIP as the best of the lot, though)
HtDP: How to Design Programs SICP: Structure and Interpretation of Computer Programs PCL: Practical Common Lisp ACL: ASCII Common Lisp PAIP: Principles off Artificial Intelligence Programming OL: On Lisp
Personally I'd probably go for PCL because it's... practical.
OL is pretty awesome though, I wish someone would reprint it in English, I have a self printed copy but I'd very much like to own a proper one!
Off topic: What happened to the edit link? I want to hide my mistakes! ;]
I wonder if there are any other books that show exemplary code in various languages which are not so much "Introduction to X" as "Here is how the masters of the language write code in language X and "think in" X . I know of "Lua Gems", "C interfaces and implementation" and "The Art Of Prolog" which fall into this category. Any others?
Off topic, but where in China are you based? If you're in Shanghai maybe we can meet up sometime, I always like meeting fellow HNers!
I like all the books you mentioned in your original post. OL is probably the best, but it doesn't make sense to read it first. I learned from both ACL and PCL and like ACL better because it's more systematic. But this seems to be a minority opinion.
AIMA is a fine book. PAIP is a fine book. I don't see how you could possibly use either of them to replace the other.