2018-06-19看《七周七语言》的时候，初步学习过Prolog，有个不错的入门英文教程：http://www.amzi.com/，上面的例子还蛮有意思的。说实话Prolog对我来说，不像是在编程，而更像是在做线性规划：根据限制和初始条件，找到解。十分感兴趣这个推导过程Prolog是如何实现的。耗哥这方面有推荐的读物吗？感谢：）
个人感觉，在这个推导过程中，其实比起些现在这些通过统计学、神经网络及大数据喂出来的怪兽，比如NLP、google翻译、人工智能什么的，感觉这个逻辑简单，更适合入门一些。 8
2018-03-12prolog确实在解决一些需要频繁回溯的问题上相当好用，是真正的描述规则，然后自动求解的人性化语言。 5
2019-06-27逻辑编程很类似推理中的三段论，首先给出大前提，然后给出小前提，最后推导结论。
大前提哲学家都是人，小前提苏格拉底是哲学家，结论就是苏格拉底也是人
基于逻辑的编程让我们关注真正的事，忽略控制
2019-06-24你好，看完觉得Prolog这类语言，我只管业务，不管实现的。入门可能会简单，隐藏了许多技术细节，但实际上效率会不高，如果没有对应的活跃社区提供相关库的话。就害怕像“人人都是产品经理”，那样，弄了很多不知道技术边界的人导致各种各样的问题。