问题求解逻辑
Logic for problem solving
Robert Kowalski
- 2次提及
- 1人推荐
- 2位 HN 评论者
Hacker News 读者推荐
……在不先理解符号逻辑（symbolic logic）运作机制的情况下，也是有可能搞懂 Prolog 的。对于有兴趣学习 Prolog 编程的人，我的建议是从读 Robert Kowalski 的《Logic for Problem Solving》开始：http://www.amazon.com/Problem-Solving-Revisited-Robert-Kowal... 我目前把这本书的早期版本读了大概一半，这是我找到的第一本能够……
tkosan 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 3837036294
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。