Prolog 事实与规则：fact 与 rule

编写 Prolog 程序的核心在于准确声明 事实 (fact) 与 规则 (rule)。事实描述静态数据，规则描述逻辑推导。掌握两者语法与执行顺序，即可快速构建可推理的知识库。以下按标准工作流逐步演示。

阶段一：定义与录入事实 (Fact)

1. 打开 任意支持纯文本的编辑器。
2. 新建 空白文件，并将扩展名修改为 .pl（例如 knowledge_base.pl）。
3. 编写 谓词声明语句。事实的固定结构为 谓词名(具体值).。参数必须为已赋值的原子或小写标识符，禁止 使用大写字母或自由变量。
4. 录入 基础关系数据。输入 以下代码，确认 每一行末尾均包含英文半角句号：

   teaches(alice, math).
   teaches(bob, physics).
   takes(bob, math).
   student(bob).
   teacher(alice).

5. 保存 当前文档至工作目录。
6. 启动 SWI-Prolog 终端环境或交互式 Shell。
7. 加载 刚创建的文件。在提示符后 键入 ?- consult('knowledge_base.pl'). 并 按下 Enter 键。终端显示 true. 即代表事实库已成功映射至内存数据库。
8. 测试 查询响应。键入 ?- teaches(alice, math). 并 按下 Enter 键。系统返回 true 证明事实已正确存入，键入 ?- teaches(charlie, math). 将返回 false 表示查无此记录。

阶段二：构建与编写规则 (Rule)

1. 明确 规则语法结构。规则用于定义条件关系，格式为 结论(变量) :- 条件1, 条件2.。:- 符号代表逻辑蕴含，右侧逗号代表逻辑与。
2. 编辑 源代码文件。追加 以下单条件推导规则，定义“掌握数学知识”的逻辑：

   knows_math(X) :- teaches(Y, math), student(X), takes(X, math).

3. 保存 修改后的文件。
4. 重载 内存中的知识库。在 Prolog 提示符处 键入 ?- make. 并 按下 Enter 键，系统将自动检测文件变更、重新编译并提示更新完成。
5. 执行 变量查询。键入 ?- knows_math(bob). 并 按下 Enter 键。解释器将自动将 X 实例化为 bob，逐一验证右侧三个原子目标是否同时存在于事实库中。
6. 追加 递归逻辑规则。添加 以下代码以处理传递关系（例如学术师承网络）：

   mentor(M, S) :- teaches(M, _, S).
   mentor(M, S) :- mentor(M, Intermediate), mentor(Intermediate, S).

7. 验证 递归终止边界。键入 基础查询 确认 无栈溢出报错。规则执行高度依赖左侧向右侧推导，必须保证至少存在一条非递归的基线事实作为计算终点，否则将陷入无限循环。

阶段三：对比校验与排错

在混合编写事实与规则时，严格对照下表检查声明属性：

遇到逻辑返回 false 或编译警告时，按顺序执行以下排错动作：

1. 检查 原子拼写一致性。Prolog 严格区分大小写，Math 与 math 被视为不同常量，统一 使用小写字母开头以避免匹配失败。
2. 核对 参数位置映射。谓词签名严格遵循声明顺序，调整 查询参数顺序以精确对齐 fact/rule 定义中的位置索引。
3. 开启 执行轨迹追踪。在查询语句前 键入 ?- trace.，运行 目标查询。终端将按时间轴打印 Call、Exit、Fail、Redo 堆栈信息。按 空格键 单步执行，按 Enter 键连续推进。
4. 关闭 追踪状态。调试完毕后，执行 ?- nodebug. 恢复标准终端交互模式，清理 冗余输出。

阶段四：规则执行流向与性能调优

Prolog 引擎解析规则时采用自顶向下深度优先搜索策略。当查询目标触发规则匹配时，系统按以下路径推进计算：

依据解析路径优化代码结构：

1. 排列 条件执行顺序。将过滤性强、计算开销低或失败率高的子句 放置 于 :- 右侧首位。利用引擎的短路求值特性提前拦截无效分支，避免不必要的数据库扫描。
2. 消除 左递归死循环。若规则头的首个参数与体中首个递归调用的参数直接重合，解释器将无限消耗调用堆栈。重构 为右递归形式，强制引擎先匹配基础事实再向下游延伸，以切断循环链。
3. 裁剪 无效回溯分支。在确定性规则体的末尾 插入 绿色剪枝操作符 !，阻止 引擎在找到唯一有效解后继续尝试其他备选路径，从而显著降低内存占用并提升响应速度。