Prolog 变量：大写字母变量

在 Prolog 编程语言中，变量的命名规则与其他主流语言（如 Python、Java）有根本不同。识别并正确使用以大写字母开头的标识符作为变量，是编写合法 Prolog 程序的第一步。这条规则不是可选项，而是语法强制要求。

1. 判断一个标识符是否是变量

Prolog 通过首字母大小写自动区分变量和原子（atom，即常量或谓词名）：

• 以大写字母（A–Z）或下划线 _ 开头的标识符是变量。
• 以小写字母（a–z）、数字、引号或其他符号开头的标识符是原子。

因此，只需检查标识符的第一个字符：

1. 查看标识符的首字符。
2. 如果它是 A 到 Z 之间的任意大写字母，或者就是 _，那么它就是一个变量。
3. 否则，它就是一个原子（非变量）。

例如：

• X、Name、_temp、MyVar123 都是变量。
• x、name、'Name'、123var、+ 都不是变量。

注意：'Name' 虽然内容是大写，但因为被单引号包裹，Prolog 将其视为原子，不是变量。

2. 变量的核心特性：单次赋值与逻辑绑定

Prolog 的变量不是“存储单元”，而是逻辑占位符。它们的行为遵循“合一（unification）”机制：

1. 首次遇到未绑定变量时，它可以匹配任何值。
2. 一旦变量被绑定（赋值），在其作用域内不能再改变值。
3. 尝试将已绑定变量与不同值合一，会导致失败（回溯）。

例如，在查询中：

?- X = hello.

执行后，X 被绑定为原子 hello。此时：

?- X = hello, X = world.

该查询会失败，因为 X 已经是 hello，无法再统一为 world。

3. 匿名变量：下划线 _ 的特殊用法

当下划线 _ 单独作为变量使用时，它表示匿名变量：

1. 每次出现的 _ 都被视为一个全新的、彼此无关的变量。
2. 你不需要关心它的值，也不需要引用它。
3. 常用于忽略不需要的参数或结果。

例如，定义一个只关心列表第一个元素的谓词：

first(X, [X|_]).

调用 first(A, [apple, banana, cherry]) 时，A 绑定为 apple，而 _ 自动匹配 [banana, cherry] 但不保存。

注意：_Temp（以下划线开头但后面有字母）是一个普通变量，不是匿名变量，可以被引用。

4. 常见错误与排查方法

很多初学者因混淆大小写而写出无效代码。以下是典型错误及修正方式：

1. 错误：用小写字母当变量

   % 错误示例
   parent(john, x).

   此处 x 是原子，不是变量。若想表达“约翰有一个孩子，名字未知”，应写为：

   parent(john, X).

2. 错误：试图重复赋值变量

   % 错误逻辑
   test :- X = 1, X = 2.

   该子句永远失败。正确做法是使用不同变量或确保值一致。

3. 错误：误用带引号的大写字符串

   % 错误
   likes(mary, 'Book').

   'Book' 是原子。若想让 Book 成为变量（如匹配任意书名），应写为：

   likes(mary, Book).

5. 实战：编写一个使用变量的简单规则

假设我们要定义“祖父母”关系：如果 A 是 B 的父母，且 B 是 C 的父母，那么 A 是 C 的祖父母。

1. 定义事实（使用小写原子）：

   parent(alice, bob).
   parent(bob, carol).
   parent(bob, dave).

2. 定义规则（使用大写变量）：

   grandparent(Grand, Child) :-
       parent(Grand, Parent),
       parent(Parent, Child).

3. 查询祖父母关系：

   ?- grandparent(alice, X).

   Prolog 会返回：

   X = carol ;
   X = dave.

在这个规则中，Grand、Parent、Child 都是以大写字母开头的变量，允许 Prolog 在推理过程中动态绑定具体的人名。

6. 变量作用域与生命周期

Prolog 中的变量作用域由子句（clause）决定：

1. 每个规则或事实中的变量仅在该子句内有效。
2. 不同子句中的同名变量互不影响。
3. 查询中的变量在查询结束后失效。

例如：

sibling(X, Y) :- parent(P, X), parent(P, Y), X \= Y.
friend(X, Y) :- likes(X, Z), likes(Y, Z).

这里的两个 X、Y、Z 分别属于不同子句，彼此独立。即使名字相同，也不会共享值。

7. 调试技巧：观察变量绑定过程

在 SWI-Prolog 等环境中，可通过追踪（trace）查看变量如何被绑定：

1. 启动追踪模式：输入 trace.。
2. 运行你的查询，如 grandparent(alice, X).。
3. 观察输出中变量如何逐步获得值。
4. 输入 notrace. 退出追踪。

此外，使用 write/1 临时输出变量值（仅用于调试）：

debug_grandparent(Grand, Child) :-
    parent(Grand, Parent),
    write('Middle gen: '), write(Parent), nl,
    parent(Parent, Child).

但注意：生产代码中应避免副作用操作（如打印），保持逻辑纯净。

在 Prolog 中，始终用大写字母或下划线开头命名变量，是避免语法错误和逻辑混乱的最基本准则。理解变量的单次绑定特性和匿名变量的用途，能让你更高效地利用 Prolog 的逻辑推理能力。