Prolog 编程艺术
The art of Prolog
Leon Sterling、Ehud Yehuda Shapiro · 初版 1986 年
36人推荐
65位读者提及
114次提及
为什么值得读
- 深入讲解合一模式匹配与类型推导
- 有助于理解Erlang等语言的底层设计
- 习题深刻且超越单纯的语法工具教学
本第二版结合了最新的研究进展对相关章节进行了修订。书中增添了更多进阶习题，且“Part II The Prolog Language”已做修改以兼容最新的 Prolog 标准。这是一本可用于自学的研究生阶段教材。
Hacker News 上怎么说
正在加载完整评论……
市面上最好的教程之一是 Leon Sterling 和 Ehud Shapiro 写的《The Art of Prolog: Advanced Programming Techniques》第 2 版。不过放到现在来看，它似乎有点过时了（比如在约束逻辑编程方面），所以还有另一本值得推荐的……
one of the best texts around is "the art of prolog, advanced programming techniques" 2nd edition, by leon sterling and ehud shapiro. however, by now, it seems a bit dated (e.g. on the constraint logic programming side), so there is another recommendable…
如果你想学 Prolog，依我看最好的书就是 Sterling 和 Shapiro 写的《The Art of Prolog》。新版已经绝版且奇贵无比（但绝对值！），前一版差不多只要 6 美元，能让你尝尝鲜。Clocksin 和 Mellish 写的《Programming in Prolog》……
If you want to learn about Prolog, the best book IMHO is _The Art of Prolog_ by Sterling and Shapiro. The newer edition is out of print and expensive (but worth it!), the previous edition is more like $6 and will give you a good taste. _Programming in Prolog_ by Clocksin & Mellish…
……Peter Van-Roy 和 Seif Haridi 著（“CTM”），涵盖了几种不同的编程方法。不是讲不同的语言，而是讲它们底层的 model 以及组合它们的方式。* The Art of Prolog，Sterling & Shapiro 著——逻辑编程的绝佳书籍，使用 Prolog 进行练习。（CTM 也提到了 Prolog，但这本书讲得深得多。）* The Lambda papers - http://library.readscheme.org/page1.html……
…Peter Van-Roy and Seif Haridi ("CTM"), which covers several different programming approaches. Not about different languages, but their underlying models, and ways in which they can be combined. * The Art of Prolog, by Sterling & Shapiro - An excellent book on logic programming, using Prolog for exercises. (CTM also touches on Prolog, but this book goes quite a bit deeper.) * The Lambda papers - http://library.readscheme.org/page1.html…
……其实作为 theorem prover 挺烂的，但它有一种独特的编程模型，在解决某些问题时非常强大。（如果你以后想学 Erlang，它也很有帮助。）关于 Prolog，我喜欢 Sterling 和 Shapiro 写的《The Art of Prolog》。它是关于作为范式的逻辑与声明式编程，以及 Prolog 是如何很好地契合它的。它很有深度，并借助 Prolog 来讲授通用的编程思想，很像 SICP 那样……
…actually pretty lousy as a theorem prover, but it has a unique programming model that is very powerful for some problems. (It will also help if you want to learn Erlang later.) For Prolog, I like _The Art of Prolog_ by Sterling and Shapiro. It's on logic & declarative programming as a paradigm, and how well Prolog lives up to it. It's deep, and uses Prolog to teach about programming in general, much like SICP does…
……语言，但我发现它真的非常发人深省。我很高兴自己没有因此被劝退。哪怕我从中得到的唯一好处只是洞悉了 Erlang 的设计、能够读懂 Sterling & Shapiro 的《The Art of Prolog》*，以及终于搞懂了 unification/pattern matching 和类型推断的工作原理，那这时间也花得太值了。* 那本书令人肃然起敬。不管你对 Prolog 感不感兴趣，我都极力推荐它，就像……
…language, but I've found it really inspiring. I'm glad I didn't let that discourage me. Even if the only benefit I get from it is the insight into Erlang's design, being able to read Sterling & Shapiro's _The Art of Prolog_* , and finally getting how unification/pattern matching and type inference work, it was time well spent. * Which is awe-inspiring. I would recommend it regardless of whether you care about Prolog, much…
“市面上最好的教材之一是 Leon Sterling 和 Ehud Shapiro 写的《The Art of Prolog, Advanced Programming Techniques》第 2 版。”附议。这确实是一本好书，不过上次我查的时候感觉有点难找了。
"one of the best texts around is "the art of prolog, advanced programming techniques" 2nd edition, by leon sterling and ehud shapiro." Seconded. This is a really good book, though a bit hard to find, the last time I checked.