为什么值得读
用精简方式带读者透彻实现miniKanren逻辑编程模型
- 完整实现类似Prolog的miniKanren逻辑语言
- 用极简代码阐明高度强大的目标导向计算模型
- 兼具趣味性与理论深度的逻辑编程读物
适合：对逻辑编程、语言实现或Scheme感兴趣的程序员
值得读指数：63 / 100
Hacker News 读者推荐
……Sedgewick、Wayne；《Introduction to Automata Theory, Languages, and Computation》，Hopcroft、Motwani、Ullman 著。稍微小众一点但好玩到爆的书有：Chris Okasaki 的《Purely Functional Data Structures》、Friedman、Byrd、Kiselyov 的《The Reasoned Schemer》（或者找本好的 Prolog 书也行）。学完基础之后，你可以再去探索自己感兴趣的细分方向。（或者就像 Frank Zappa 那句大实话说的：“你要是想约炮……
danieldk 在 HN 的推荐
我很期待 fogus 的 BOF 总结。Dan Friedman（《The Little Schemer》《The Seasoned Schemer》《The Reasoned Schemer》以及许多其他优秀书籍和论文的作者）和 William Byrd 都到场了。他们做了一场相当惊艳的 miniKanren 演讲。
swannodette 在 HN 的推荐
就是想表达一下，今年能看到《The Reasoned Schemer》的两位作者（Dan Friedman 和 William Byrd）在场真是太赞了。在第一届 Clojure/conj 上，我第一次翻开这本书。发现这么强大的计算模型竟然能在大概……
swannodette 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 026256100X
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。