Prolog 编程艺术
The art of Prolog: advanced programming techniques
Leon Sterling , Ehud Yehuda Shapiro · 初版 1986 年
- 114次提及
- 36人推荐
- 65位 HN 评论者
简介
本第二版结合了最新的研究进展对相关章节进行了修订。书中增添了更多进阶习题，且“Part II The Prolog Language”已做修改以兼容最新的 Prolog 标准。这是一本可用于自学的研究生阶段教材。
为什么值得读
从逻辑与声明式范式高度深入阐释通用编程思维
- 深入讲解合一模式匹配与类型推导
- 有助于理解Erlang等语言的底层设计
- 习题深刻且超越单纯的语法工具教学
适合：想掌握逻辑编程与声明式范式的程序员
值得读指数：66 / 100
Hacker News 读者推荐
市面上最好的教程之一是 Leon Sterling 和 Ehud Shapiro 写的《The Art of Prolog: Advanced Programming Techniques》第 2 版。不过放到现在来看，它似乎有点过时了（比如在约束逻辑编程方面），所以还有另一本值得推荐的……
sb 在 HN 的推荐
如果你想学 Prolog，依我看最好的书就是 Sterling 和 Shapiro 写的《The Art of Prolog》。新版已经绝版且奇贵无比（但绝对值！），前一版差不多只要 6 美元，能让你尝尝鲜。Clocksin 和 Mellish 写的《Programming in Prolog》……
silentbicycle 在 HN 的推荐
……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……
silentbicycle 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0262691639
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。