……http://www.mtome.com/Publications/PNLA/pnla-digital.html - Richard O'Keefe 写的《The Craft of Prolog》是学习编写正确、高效 Prolog 代码的必读书籍。让人大开眼界的干货极多。http://www.amazon.com/Craft-Prolog-Logic-Programming/dp/0262... - Hassan Aït-Kaci 的《Warren's Abstract Machine: A Tutorial Reconstruction》详尽梳理了 David Warren 用于执行 Prolog 代码的抽象机。由于现代 Prolog 实现大多基于 WAM，这有助于……
…http://www.mtome.com/Publications/PNLA/pnla-digital.html - The Craft of Prolog by Richard O'Keefe is a must to learn writing correct efficient Prolog code. Many eye-openers. http://www.amazon.com/Craft-Prolog-Logic-Programming/dp/0262... - Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci is a thorough overview of David Warren's abstract machine for executing of Prolog code. Since modern Prolog implementations are often based on WAM, it helps…
Re: Prolog implementation, in case you haven't already found it, the book Warren's Abstract Machine: A Tutorial Reconstruction, by Hassan Aït-Kaci, is pure gold for understanding the WAM. http://web.archive.org/web/20030213072337/http://www.vanx.or...
For a really nice explanation of the Warren Abstract Machine, see "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci: http://wambook.sourceforge.net
据我所知最贴近的内容是 Hassan Aït-Kaci 写的《Warren's Abstract Machine: A Tutorial Reconstruction》。纸质书虽然绝版了，但可以在 http://wambook.sourceforge.net 找到 PDF 版。
The closest thing that I know of is "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci. It's out of print but available as a PDF at http://wambook.sourceforge.net
经典？我觉得称得上经典的只有 SICP 和 PAIP 这两本。《The Reasoned Schemer》是 2005 年出的，我认为它是自《Warren's Abstract Machine: A Tutorial Reconstruction》以来关于关系式编程（relational programming）最重要的入门读物。大概 200 行 Scheme 代码，速度就能媲美用 15 万行 C 语言写的 Prolog。我觉得《Art of the Metaobject Protocol》根本算不上入门书或概念书。Alan Kay……
Classic? SICP and PAIP are the only two I'd really consider classic. The Reasoned Schemer is 2005 and is IMO the most important introductory text on relational programming since Warren's Abstract Machine: A Tutorial Reconstruction. ~200 lines of Scheme and you have something as fast Prologs written in 150K of C. I don't consider Art of the Metaobject Protocol to be introductory or conceptual. Alan Kay…
…reasoning engine (and if you're going to implement a reasoning system, its probably worth going through the WAM Book over a weekend, search Google for wambook.pdf, its a publicly released book with the title "Warren's Abstract Machine: A Tutorial Reconstruction". The harder ones are inductive and abductive reasoners, which I'm not aware of any opensource ones only old papers that all do little tiny bits. A lot of deductive reasoners…
……http://www.mtome.com/Publications/PNLA/pnla-digital.html - Richard O'Keefe 写的《The Craft of Prolog》是学习编写正确、高效 Prolog 代码的必读书籍。让人大开眼界的干货极多。http://www.amazon.com/Craft-Prolog-Logic-Programming/dp/0262... - Hassan Aït-Kaci 的《Warren's Abstract Machine: A Tutorial Reconstruction》详尽梳理了 David Warren 用于执行 Prolog 代码的抽象机。由于现代 Prolog 实现大多基于 WAM，这有助于……
…http://www.mtome.com/Publications/PNLA/pnla-digital.html - The Craft of Prolog by Richard O'Keefe is a must to learn writing correct efficient Prolog code. Many eye-openers. http://www.amazon.com/Craft-Prolog-Logic-Programming/dp/0262... - Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci is a thorough overview of David Warren's abstract machine for executing of Prolog code. Since modern Prolog implementations are often based on WAM, it helps…
关于 Prolog 的实现：万一你还没找到，Hassan Aït-Kaci 写的《Warren's Abstract Machine: A Tutorial Reconstruction》绝对是搞懂 WAM 的无价宝典。http://web.archive.org/web/20030213072337/http://www.vanx.or...
Re: Prolog implementation, in case you haven't already found it, the book Warren's Abstract Machine: A Tutorial Reconstruction, by Hassan Aït-Kaci, is pure gold for understanding the WAM. http://web.archive.org/web/20030213072337/http://www.vanx.or...
想看关于 Warren 抽象机（WAM）的绝佳讲解，可以参考 Hassan Aït-Kaci 写的《Warren's Abstract Machine: A Tutorial Reconstruction》：http://wambook.sourceforge.net
For a really nice explanation of the Warren Abstract Machine, see "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci: http://wambook.sourceforge.net
据我所知最贴近的内容是 Hassan Aït-Kaci 写的《Warren's Abstract Machine: A Tutorial Reconstruction》。纸质书虽然绝版了，但可以在 http://wambook.sourceforge.net 找到 PDF 版。
The closest thing that I know of is "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci. It's out of print but available as a PDF at http://wambook.sourceforge.net
经典？我觉得称得上经典的只有 SICP 和 PAIP 这两本。《The Reasoned Schemer》是 2005 年出的，我认为它是自《Warren's Abstract Machine: A Tutorial Reconstruction》以来关于关系式编程（relational programming）最重要的入门读物。大概 200 行 Scheme 代码，速度就能媲美用 15 万行 C 语言写的 Prolog。我觉得《Art of the Metaobject Protocol》根本算不上入门书或概念书。Alan Kay……
Classic? SICP and PAIP are the only two I'd really consider classic. The Reasoned Schemer is 2005 and is IMO the most important introductory text on relational programming since Warren's Abstract Machine: A Tutorial Reconstruction. ~200 lines of Scheme and you have something as fast Prologs written in 150K of C. I don't consider Art of the Metaobject Protocol to be introductory or conceptual. Alan Kay…
……推理引擎（如果你打算实现一个推理系统，那大概很值得花一个周末过一遍 WAM Book，Google 搜 wambook.pdf 就行，这是一本公开发布的书，书名叫《Warren's Abstract Machine: A Tutorial Reconstruction》）。更难搞的是归纳推理器和溯因推理器，据我所知目前还没有开源实现，只有些各自解决一小块问题的老论文。很多演绎推理器……
…reasoning engine (and if you're going to implement a reasoning system, its probably worth going through the WAM Book over a weekend, search Google for wambook.pdf, its a publicly released book with the title "Warren's Abstract Machine: A Tutorial Reconstruction". The harder ones are inductive and abductive reasoners, which I'm not aware of any opensource ones only old papers that all do little tiny bits. A lot of deductive reasoners…