七周七语言(4)
最近这一段时间一直在了解prolog这一门极其有意思的逻辑编程语言,和以往的命令式编程语言完全不一样。prolog是声明式的,个人觉得更像一门DSL语言,逻辑方面的DSL语言。
prolog语言没有代码,其实就是三点
事实:定义了一些逻辑概念,这些恒为真,不需要任何证明,就像欧式几何里面的公里一样。
规则:定义基础事实之间的规则。有点像欧式几何的推理过程,由基础公里可以推导出来一些定理。
目标:也就是问题,通过事实和定义的规则推导出来问题的解决方案,有点像数学证明题
这一门语言最核心的就是递归。完全是通过递归去解决目标问题。
递归有两个重要元素:边界条件,递归定义
也就是不能无限递归下去,如果在单位时间内递归还没有结束,则问题无界
递归定义其实就是算法问题了。
prolog比较适合做一些逻辑方面和规则方面的编程,能够解决人工智能相关的,准备稍微学习一下,看上去比较简单,主要锻炼抽象思维能力。
![](https://img2024.cnblogs.com/blog/35695/202408/35695-20240826070647288-243310440.jpg)