七周七语言(4)

最近这一段时间一直在了解prolog这一门极其有意思的逻辑编程语言，和以往的命令式编程语言完全不一样。prolog是声明式的，个人觉得更像一门DSL语言，逻辑方面的DSL语言。

prolog语言没有代码，其实就是三点

事实：定义了一些逻辑概念，这些恒为真，不需要任何证明，就像欧式几何里面的公里一样。

规则：定义基础事实之间的规则。有点像欧式几何的推理过程，由基础公里可以推导出来一些定理。

目标：也就是问题，通过事实和定义的规则推导出来问题的解决方案，有点像数学证明题

这一门语言最核心的就是递归。完全是通过递归去解决目标问题。

递归有两个重要元素：边界条件，递归定义

也就是不能无限递归下去，如果在单位时间内递归还没有结束，则问题无界

递归定义其实就是算法问题了。

prolog比较适合做一些逻辑方面和规则方面的编程，能够解决人工智能相关的，准备稍微学习一下，看上去比较简单，主要锻炼抽象思维能力。