逻辑编程实现

文章介绍了逻辑编程，重点阐述其与已知编程范式（过程编程、面向对象编程、函数式编程）的区别和优势。

逻辑编程主要以关系而非函数进行编程，关系没有明确的输入输出划分。

使用Prolog语言来展示如何定义谓词、事实和规则，并通过查询实现逻辑推理。

逻辑编程在解决复杂关系模型问题上非常有用，适合做为关系型数据库语言的替代。

文章详细介绍了如何用Python实现Datalog，引入了Naïve Evaluation和递归等概念。