为什么Prolog查询时会生成_2978这类额外变量而非使用原命名变量？

这类_数字格式的变量是Prolog 变量标准化（Variable Standardization，也叫α转换） 机制的产物，具体底层原因如下：

• 避免同名变量作用域冲突
  Prolog知识库中定义的规则是通用逻辑模板，每次调用规则生成的是独立的规则实例，规则内的变量属于对应调用层级的局部变量。如果直接使用原规则里的变量名（比如示例中的Z），递归调用、多规则交叉调用时，不同上下文的同名变量会被判定为同一个变量，直接导致逻辑错误。变量标准化会为每次规则实例化时的所有局部变量生成全局唯一的编号标识，保证不同调用上下文的变量互不干扰。
• 统一处理自由变量标识
  当查询中存在自由变量时（比如示例中执行numeral(X)的X），Prolog同样需要为其分配全局唯一的内部标识，用来追踪变量的绑定结果，避免和知识库规则内的同名变量混淆。
• 降低解释器实现复杂度
  主流Prolog解释器大多基于沃伦抽象机（WAM）实现，推理过程中需要频繁处理变量绑定、回溯解绑等操作，使用递增数字生成唯一的匿名变量标识，不需要额外维护用户变量名到作用域的映射表，执行效率更高，回溯时的状态重置逻辑也更简单。

对应你给出的查询场景：当descend(martha, laura)匹配递归分支时，本次规则实例里的Z被替换为全局唯一的_2978，后续这个变量绑定到charlotte后，进入下一层递归调用descend(charlotte, laura)时，新的规则实例会生成新的编号变量，不会和上层的_2978产生冲突。

内容的提问来源于stack exchange，提问作者learner