逻辑程序设计基础

Hacker News 读者推荐

……理论方面，另一位评论者推荐了 Perreira & Shreiber 的书，我也极力推荐。另外，如果你想找一本更形式化、包含完整证明的逻辑编程著作，经典参考书就是 J. W. Lloyd 的《逻辑编程基础》（Foundations of Logic Programming）。同样，你大概能在你附近的大学图书馆里找到（或者，额，直接去 Google 搜一本来源可疑、画质渣得不行的盗版扫描件，你懂的）。

YeGoblynQueenne 在 HN 的推荐

还有 Bratko 的《Prolog 编程与人工智能》（Prolog Programming for AI），以及 Clocksin 和 Mellish 合著的《Prolog 编程》（Programming in Prolog）。不过现在的话，我会建议任何对 Prolog 感兴趣的人直接上一记猛药，去啃 George W. Lloyd 的《逻辑编程基础》（Foundations of Logic Programming），因为我吃过亏才明白：把 Prolog 仅仅当作一门普通的编程语言来教，而不解释清楚背后的整套逻辑编程理念，绝对会翻车。

YeGoblynQueenne 在 HN 的推荐

找书

豆瓣 微信读书 京东 Open Library

在黑客书架打开完整页面 →

数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。