两本符合你要的那种风格的好书是：《The Little Schemer》<http://www.amazon.com/Little-Schemer-Daniel-P-Friedman/dp/02...; 和《Clause and Effect》<http://www.amazon.com/Clause-Effect-Programming-Working-Prog.... 另外还有个好处，就是它们所使用的语言（这里用“使用”比“教授”更恰当）——分别是 Scheme 和 Prolog……
Two good books which are in the sort of style you seek are: The Little Schemer <http://www.amazon.com/Little-Schemer-Daniel-P-Friedman/dp/02...; and Clause and Effect <http://www.amazon.com/Clause-Effect-Programming-Working-Prog.... Also a help is that the languages they use ('use' is a more appropriate word here than 'teach') — Scheme and Prolog, respectively…
如果有这种课，一定要去上。但要是没有的话，这里有几本我在自学同样内容时觉得特别有用的书。（阅读量很大，啃完需要时间。在学习理论知识和做实际项目之间交替进行，能让你不至于脱离实际。）
首先，绝对要搞一本《Structure and Interpretation of Compute
If there is, by all means take it. In case there isn't, though, here are some books I've found particularly helpful teaching myself the same material. (This is a lot of reading, and they'll take time to work through. Alternating between studying theoretical stuff and working on real projects will help keep you grounded.)
First off, absolutely get a copy of _Structure and Interpretation of Compute
到目前为止我也就浅涉了一下 Prolog，但已经足够让我全力推荐 Clocksin 写的《Clause and Effect》这本书了。正如一位亚马逊书评人所说：‘它对 Prolog 语言的作用，大致相当于《The Little Schemer》对 Scheme 的作用。’http://www.amazon.com/Clause-Effect-Programming-Working-Prog...…
I've only dabbled in Prolog so far, but enough to be able to thoroughly recommend the book Clause and Effect by Clocksin. As one of the amazon reviewers says 'It serves roughly the same purpose for the Prolog language that "The Little Schemer" serves for Scheme.' http://www.amazon.com/Clause-Effect-Programming-Working-Prog...…
……通常会希望代码读起来尽可能像逻辑上有效的关系。Prolog 的一大优势在于，只要有局部 context，“干净”的 Prolog 代码就极易推演。去看看 Clocksin 的《Clause and Effect》以及 Sterling 和 Shapiro 的《The Art of Prolog》。CAE 有点像 Prolog 版的《The Little Schemer》，但也有几个较大的实战案例。TAoP 是我最喜欢的编程……
…generally want code to read as much like logically valid relations as possible. A major strength of Prolog is that "clean" Prolog code is extremely easy to reason about with only local context. Chcek out _Clause and Effect_ by Clocksin and _The Art of Prolog_ by Sterling and Shapiro. CAE is sort of like _The Little Schemer_ for Prolog, but has a couple larger case studies as well. TAoP is one of my absolute favorite programming…
William Clocksin 的《Clause and Effect》也是一本风格类似的书，使用的是 Prolog。它还包含几个不错的案例研究。我也强烈推荐 Sterling 和 Shapiro 的《The Art of Prolog》。
William Clocksin's _Clause and Effect_ is a similarly styled book, using Prolog. It also has a couple good case studies. I also highly recommend Sterling and Shapiro's _The Art of Prolog_.
如果《Learn Prolog Now》引起了你的兴趣，那 Sterling & Shapiro 的《The Art of Prolog》就非常棒。Clocksin 的《Clause and Effect》有点像 Prolog 版的《The Little Schemer》（尽管没那么卖萌）。另外，如果你学 Prolog，别忘了去学约束编程（constraint programming）扩展！SWI 和 GNU Prolog 都是免费的 Prolog，带……
Sterling & Shapiro's _The Art of Prolog_ is fantastic, if _Learn Prolog Now_ piques your interest. Clocksin's _Clause and Effect_ is sort of like "The Little Schemer" for Prolog (though not cutesy). Also, if you learn Prolog, don't forget to learn the constraint programming extensions! SWI and GNU Prolog are free Prologs with…
两本符合你要的那种风格的好书是：《The Little Schemer》<http://www.amazon.com/Little-Schemer-Daniel-P-Friedman/dp/02...; 和《Clause and Effect》<http://www.amazon.com/Clause-Effect-Programming-Working-Prog.... 另外还有个好处，就是它们所使用的语言（这里用“使用”比“教授”更恰当）——分别是 Scheme 和 Prolog……
Two good books which are in the sort of style you seek are: The Little Schemer <http://www.amazon.com/Little-Schemer-Daniel-P-Friedman/dp/02...; and Clause and Effect <http://www.amazon.com/Clause-Effect-Programming-Working-Prog.... Also a help is that the languages they use ('use' is a more appropriate word here than 'teach') — Scheme and Prolog, respectively…
如果有这种课，一定要去上。但要是没有的话，这里有几本我在自学同样内容时觉得特别有用的书。（阅读量很大，啃完需要时间。在学习理论知识和做实际项目之间交替进行，能让你不至于脱离实际。） 首先，绝对要搞一本《Structure and Interpretation of Compute
If there is, by all means take it. In case there isn't, though, here are some books I've found particularly helpful teaching myself the same material. (This is a lot of reading, and they'll take time to work through. Alternating between studying theoretical stuff and working on real projects will help keep you grounded.) First off, absolutely get a copy of _Structure and Interpretation of Compute
到目前为止我也就浅涉了一下 Prolog，但已经足够让我全力推荐 Clocksin 写的《Clause and Effect》这本书了。正如一位亚马逊书评人所说：‘它对 Prolog 语言的作用，大致相当于《The Little Schemer》对 Scheme 的作用。’http://www.amazon.com/Clause-Effect-Programming-Working-Prog...…
I've only dabbled in Prolog so far, but enough to be able to thoroughly recommend the book Clause and Effect by Clocksin. As one of the amazon reviewers says 'It serves roughly the same purpose for the Prolog language that "The Little Schemer" serves for Scheme.' http://www.amazon.com/Clause-Effect-Programming-Working-Prog...…
……通常会希望代码读起来尽可能像逻辑上有效的关系。Prolog 的一大优势在于，只要有局部 context，“干净”的 Prolog 代码就极易推演。去看看 Clocksin 的《Clause and Effect》以及 Sterling 和 Shapiro 的《The Art of Prolog》。CAE 有点像 Prolog 版的《The Little Schemer》，但也有几个较大的实战案例。TAoP 是我最喜欢的编程……
…generally want code to read as much like logically valid relations as possible. A major strength of Prolog is that "clean" Prolog code is extremely easy to reason about with only local context. Chcek out _Clause and Effect_ by Clocksin and _The Art of Prolog_ by Sterling and Shapiro. CAE is sort of like _The Little Schemer_ for Prolog, but has a couple larger case studies as well. TAoP is one of my absolute favorite programming…
William Clocksin 的《Clause and Effect》也是一本风格类似的书，使用的是 Prolog。它还包含几个不错的案例研究。我也强烈推荐 Sterling 和 Shapiro 的《The Art of Prolog》。
William Clocksin's _Clause and Effect_ is a similarly styled book, using Prolog. It also has a couple good case studies. I also highly recommend Sterling and Shapiro's _The Art of Prolog_.
如果《Learn Prolog Now》引起了你的兴趣，那 Sterling & Shapiro 的《The Art of Prolog》就非常棒。Clocksin 的《Clause and Effect》有点像 Prolog 版的《The Little Schemer》（尽管没那么卖萌）。另外，如果你学 Prolog，别忘了去学约束编程（constraint programming）扩展！SWI 和 GNU Prolog 都是免费的 Prolog，带……
Sterling & Shapiro's _The Art of Prolog_ is fantastic, if _Learn Prolog Now_ piques your interest. Clocksin's _Clause and Effect_ is sort of like "The Little Schemer" for Prolog (though not cutesy). Also, if you learn Prolog, don't forget to learn the constraint programming extensions! SWI and GNU Prolog are free Prologs with…