39 | 编程范式：逻辑编程范式

看《七周七语言》的时候，初步学习过Prolog，有个不错的入门英文教程：http://www.amzi.com/，上面的例子还蛮有意思的。说实话Prolog对我来说，不像是在编程，而更像是在做线性规划：根据限制和初始条件，找到解。十分感兴趣这个推导过程Prolog是如何实现的。耗哥这方面有推荐的读物吗？感谢：） 个人感觉，在这个推导过程中，其实比起些现在这些通过统计学、神经网络及大数据喂出来的怪兽，比如NLP、google翻译、人工智能什么的，感觉这个逻辑简单，更适合入门一些。

prolog确实在解决一些需要频繁回溯的问题上相当好用，是真正的描述规则，然后自动求解的人性化语言。

难得看到这么短小的皓哥:) 也猜到回复肯定不会多, 因为理解到和用到的人少嘛:) 在此贡献一点点,作为皓粉的投名状. 之前做过一个项目, 里面用到基于C/C++的iSAT库求解Boolean Satisfaction Problem. iSAT的使用方法也是 (1) 先描述一些限制条件, 如文中所说到陈述事实; (2) 调用iSAT库进行求解, 该库内部使用BDD算法得到一个不违反限制条件的解或者没有解, (3) 根据iSAT返回的计算结果判断回到 (1)修改限制条件继续执行, 或是找到满意的计算结果停止计算. 除本文提到的着色问题以外,这一类问题其实有很多(参考NP问题), 我将其归纳为具有明确限制的启发式问题, 其最明显的特征是有规范的数学定义, 变量X离散且取值范围有限. 由于是离散的, 所以不能保证有最优解, 只有近似最优解. 至于实际应用嘛, 和算法的应用类似, 只要能把某一类问题简化为这一类问题的数学格式, 就可以套用这一类问题的通用解法, 也即是可以使用逻辑编程的范式, 不需要过多关注内部实现

你好，看完觉得Prolog这类语言，我只管业务，不管实现的。入门可能会简单，隐藏了许多技术细节，但实际上效率会不高，如果没有对应的活跃社区提供相关库的话。就害怕像“人人都是产品经理”，那样，弄了很多不知道技术边界的人导致各种各样的问题。

看完这节课，突然想重新学一下离散数学里的数理逻辑部分了。

逻辑编程很类似推理中的三段论，首先给出大前提，然后给出小前提，最后推导结论。 大前提哲学家都是人，小前提苏格拉底是哲学家，结论就是苏格拉底也是人 基于逻辑的编程让我们关注真正的事，忽略控制

还是这么好玩的语言，这是怎么玩到的？

这个很不错，之前看逻辑学，找到谓词逻辑的实用场景了，非常感谢

扩展阅读：《逻辑编程：上古人工智能语言Prolog》https://zhuanlan.zhihu.com/p/675489177

L. Suresh _et al._, “Building Scalable and Flexible Cluster Managers Using Declarative Programming,” 2020, pp. 827–844. Accessed: May 25, 2022. [Online]. Available: [https://www.usenix.org/conference/osdi20/presentation/suresh](https://www.usenix.org/conference/osdi20/presentation/suresh) 一篇文章，基于逻辑编程范式的调度系统设计，在思考这种方式是不是还可以应用到更多的领域。