第 13 章 逻辑编程
什么是逻辑编程、查询系统如何工作、逻辑编程与数学逻辑的关系、查询系统的实现。
本章换一种编程范式：不再写”怎么做”，而是写”是什么”。通过一个数据库查询系统，理解事实、规则、模式匹配、合一与回溯，并厘清逻辑编程与数理逻辑之间微妙的差别。
本节目录
笔记
回到Unit 4：解释器与高级主题可查看本单元其他章节。
什么是逻辑编程、查询系统如何工作、逻辑编程与数学逻辑的关系、查询系统的实现。
本章换一种编程范式：不再写”怎么做”，而是写”是什么”。通过一个数据库查询系统，理解事实、规则、模式匹配、合一与回溯，并厘清逻辑编程与数理逻辑之间微妙的差别。
笔记
回到Unit 4：解释器与高级主题可查看本单元其他章节。