第9章笔记：逻辑与声明式计算

联系

• 关系而不是步骤：写出结构、语义状态、反例和测试。
• 事实、规则与查询：写出结构、语义状态、反例和测试。
• 合一与替换：写出结构、语义状态、反例和测试。
• 回溯搜索：写出结构、语义状态、反例和测试。
• 失败与剪枝：写出结构、语义状态、反例和测试。
• 约束逻辑编程：写出结构、语义状态、反例和测试。
• 微型逻辑引擎：写出结构、语义状态、反例和测试。

练习

以关系而不是步骤为输入，一直推进到微型逻辑引擎，每一步保存制品。换一个程序重做，不能复用最终答案。

自检

闭卷画本章状态图，指出错误属于扫描、解析、绑定、类型还是运行阶段，并用最小反例验证。# 第9章笔记：逻辑与声明式计算

联系

• 关系而不是步骤：写出结构、语义状态、反例和测试。
• 事实、规则与查询：写出结构、语义状态、反例和测试。
• 合一与替换：写出结构、语义状态、反例和测试。
• 回溯搜索：写出结构、语义状态、反例和测试。
• 失败与剪枝：写出结构、语义状态、反例和测试。
• 约束逻辑编程：写出结构、语义状态、反例和测试。
• 微型逻辑引擎：写出结构、语义状态、反例和测试。

练习

以关系而不是步骤为输入，一直推进到微型逻辑引擎，每一步保存制品。换一个程序重做，不能复用最终答案。

自检

闭卷画本章状态图，指出错误属于扫描、解析、绑定、类型还是运行阶段，并用最小反例验证。# 第9章笔记：逻辑与声明式计算

联系

• 关系而不是步骤：写出结构、语义状态、反例和测试。
• 事实、规则与查询：写出结构、语义状态、反例和测试。
• 合一与替换：写出结构、语义状态、反例和测试。
• 回溯搜索：写出结构、语义状态、反例和测试。
• 失败与剪枝：写出结构、语义状态、反例和测试。
• 约束逻辑编程：写出结构、语义状态、反例和测试。
• 微型逻辑引擎：写出结构、语义状态、反例和测试。

练习

以关系而不是步骤为输入，一直推进到微型逻辑引擎，每一步保存制品。换一个程序重做，不能复用最终答案。

自检

闭卷画本章状态图，指出错误属于扫描、解析、绑定、类型还是运行阶段，并用最小反例验证。