1关系而不是步骤
闭卷推导关系而不是步骤的结构、状态与反例。
程序设计语言与解释器 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2事实、规则与查询
闭卷推导事实、规则与查询的结构、状态与反例。
3合一与替换
闭卷推导合一与替换的结构、状态与反例。
4回溯搜索
闭卷推导回溯搜索的结构、状态与反例。
5失败与剪枝
闭卷推导失败与剪枝的结构、状态与反例。
6约束逻辑编程
闭卷推导约束逻辑编程的结构、状态与反例。
7微型逻辑引擎
闭卷推导微型逻辑引擎的结构、状态与反例。
第 1 页 · 背面（答案）
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。
应含语义前提、环境或存储状态、观察结果和边界反查。