……在不先理解符号逻辑（symbolic logic）运作机制的情况下，也是有可能搞懂 Prolog 的。对于有兴趣学习 Prolog 编程的人，我的建议是从读 Robert Kowalski 的《Logic for Problem Solving》开始：http://www.amazon.com/Problem-Solving-Revisited-Robert-Kowal... 我目前把这本书的早期版本读了大概一半，这是我找到的第一本能够……
…it is possible to understand Prolog without first understanding how symbolic logic works. My recommendation for someone who is interested in learning how to program in Prolog is to start by reading “Logic for Problem Solving” by Robert Kowalski: http://www.amazon.com/Problem-Solving-Revisited-Robert-Kowal... I am currently about halfway through an earlier edition of this book, and it is the first book I have found that…
……尽量了解自动定理证明（automated theorem proving）。一篇关键论文是 Robinson 1965 年的《A Machine-Oriented Logic Based on the Resolution Principle》。与比如 Kowalski 的《Logic for Problem Solving》相比，它使用的记号大不相同。Robinson 做出了重大贡献，但他的工作就像是逻辑学里的汇编语言。现代论文的抽象层级要高得多。Kowalski 的书出版于 1979 年，所以它就像 C 语言。我的新领域全景图让这些……
…can about automated theorem proving. A key paper is Robinson's 1965 paper "A Machine-Oriented Logic Based on the Resolution Principle". It uses quite different notations compared to, say, Kowalski's "Logic for Problem Solving". Robinson made an important contribution, but his work is like the assembly language of logic. Modern papers are much higher level. Kowalski's book is 1979, so its like C. My new domain map made these…
……在不先理解符号逻辑（symbolic logic）运作机制的情况下，也是有可能搞懂 Prolog 的。对于有兴趣学习 Prolog 编程的人，我的建议是从读 Robert Kowalski 的《Logic for Problem Solving》开始：http://www.amazon.com/Problem-Solving-Revisited-Robert-Kowal... 我目前把这本书的早期版本读了大概一半，这是我找到的第一本能够……
…it is possible to understand Prolog without first understanding how symbolic logic works. My recommendation for someone who is interested in learning how to program in Prolog is to start by reading “Logic for Problem Solving” by Robert Kowalski: http://www.amazon.com/Problem-Solving-Revisited-Robert-Kowal... I am currently about halfway through an earlier edition of this book, and it is the first book I have found that…
……尽量了解自动定理证明（automated theorem proving）。一篇关键论文是 Robinson 1965 年的《A Machine-Oriented Logic Based on the Resolution Principle》。与比如 Kowalski 的《Logic for Problem Solving》相比，它使用的记号大不相同。Robinson 做出了重大贡献，但他的工作就像是逻辑学里的汇编语言。现代论文的抽象层级要高得多。Kowalski 的书出版于 1979 年，所以它就像 C 语言。我的新领域全景图让这些……
…can about automated theorem proving. A key paper is Robinson's 1965 paper "A Machine-Oriented Logic Based on the Resolution Principle". It uses quite different notations compared to, say, Kowalski's "Logic for Problem Solving". Robinson made an important contribution, but his work is like the assembly language of logic. Modern papers are much higher level. Kowalski's book is 1979, so its like C. My new domain map made these…