The Reasoned Schemer

Daniel P. Friedman, William E. Byrd, Oleg Kiselyov

出版社

The MIT Press

出版时间

2005-10-14

ISBN

9780262562140

评分

★★★★★
书籍介绍
这本书用一问一答的方式,带着读者一步步走进逻辑编程的世界,读起来像在和作者对话,而非被动接受定义。它的核心主张大胆而明确:逻辑编程并非函数式编程的对立面,而是其自然的延伸——在 Scheme 之上注入逻辑构造,便把 Prolog 的精髓融了进去。正因如此,它既适合想学会
用户评论
实在是不喜欢这种问答风格。。不过under the hood那章还行,理解逻辑编程了
这一版的实现自定义了很多奇怪的宏。。。肥肠不好读。。。第二版的实现简洁很多
在逻辑里迷路了
巨好看
这本太绕了
没有prolog编程经验,太费脑力了。
下载
收藏