SWI-Prolog变量声明、实例化及操作方法问询，含打印、交换场景实现咨询

1. 变量实例化与打印实现 #

Prolog不需要显式声明变量，首字母大写的标识符默认就是变量，遵循单次赋值规则，变量实例化通过合一运算符=实现，打印可直接调用内置谓词write/1。
对应你给出的C语言示例的等效Prolog代码如下：

% 直接在SWI-Prolog的REPL中运行即可得到输出
X = 5, write(X).

运行后会直接输出5，同时REPL会返回变量绑定结果X = 5。
如果要封装为可重复调用的规则，可以写成：

print_demo :-
    X = 5,
    write('变量X的取值为：'),
    write(X),
    nl. % nl为内置谓词，作用是输出换行符

在SWI-Prolog中加载该规则后，输入print_demo.即可执行输出。

2. 变量赋值交换逻辑的可行性说明 #

你给出的C语言风格的变量修改交换逻辑无法在Prolog中实现，核心原因如下：
Prolog的变量是单次赋值的，一旦变量被实例化为某个具体值，这个绑定关系就不可修改，不存在其他编程语言中“覆盖原有值、重新给变量赋值”的操作。你给出的示例中对已经赋值的x、y进行二次赋值的逻辑，完全不符合Prolog的变量设计规则。

如果需要实现两个值的交换效果，Prolog中一般通过绑定新变量的方式实现，示例如下：

% 定义交换规则：前两个参数为输入值，后两个为交换后的输出值
swap(ValA, ValB, ValB, ValA).

调用示例：输入swap(5, 10, X, Y).，运行后会得到绑定结果X = 10, Y = 5，即完成两个值的交换输出。

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