prolog - prolog中的交换功能

Question

我需要用 B/A 替换 prolog 中的术语 A/B。

A 和 B 是变量（可以是数字、大写字母或小写字母）

我的意思是，斜线右侧的内容应该在左侧，反之亦然。

示例：
A/10 应该是 10/A
9/3 应该是 3/9
5/B 应该是 B/5

我希望很清楚。谢谢。

Answer 1

真的很简单：

swap(X/Y, Y/X).

或者可以使用统一“内联”，这里是一个示例：

?- forall(member(A, [a/3, b/6]), (A=X/Y, B=Y/X, writeln(B))).
3/a
6/b
true.