匿名变量（_）不会绑定为任何值
如果使用（=）那么联合操作时显式的。而Prolog在使用子句与目标匹配时的联合则是隐式的。
Prolog的最强大的功能之一就是它内建了模式匹配的算法----联合(Unification)。以前我们所介绍的例子中的联合都是较为简单的。现在来仔细研究一下联合。下表中列出了联合操作的简要情况。
变量&任何项目: 变量可以与任何项目绑定，其中也包括变量
原始项目&原始项目: 两个原始项目（原子或整数）只有当它们相同时才能联合。
结构&结构: 如果两个结构的每个相应的参数能联合，那么这两个结构可以联合。
为了更清楚地介绍联合操作，我们将使用Prolog的内部谓词‘=/2’，此谓词当它的两个参数能够联合时成功，反之则失败。它的语法如下：
=(arg1, arg2)
为了方便阅读，也可以写成如下形式：
arg1 = arg2
注意：此处的等号在Prolog中的意义与其他语言中的不同。它不是数学运算符或者赋值符。
使用=进行联合操作与Prolog使用目标与子句联合时相同。在回溯时，变量将被释放。
下面举了几个最简单的联合的例子。
?- a = a.
yes
?- a = b.
no
?- location(apple, kitchen) = location(apple, kitchen).
yes
?- location(apple, kitchen) = location(pear, kitchen).
no
?- a(b,c(d,e(f,g))) = a(b,c(d,e(f,g))).
yes
?- a(b,c(d,e(f,g))) = a(b,c(d,e(g,f))).
no
在下面的例子中使用的变量，注意变量是如何绑定为某个值的。
?- X = a.
X = a
?- 4 = Y.
Y = 4
?- location(apple, kitchen) = location(apple, X).
X = kitchen
当然也可以同时使用多个变量。
?- location(X,Y) = location(apple, kitchen).
X = apple
Y = kitchen
?- location(apple, X) = location(Y, kitchen).
X = kitchen
Y = apple
变量之间也可以联合。每个变量都对应一个Prolog的内部值。当两个变量之间进行联合时，Prolog就把它们标记为相同的值。在下面的例子中，我们假设Prolog使用‘_nn’，其中‘n’为数字，代表没有绑定的变量。
?- X = Y.
X = _01
Y = _01
?- location(X, kitchen) = location(Y, kitchen).
X = _01
Y = _01
Prolog记住了被绑定在一起的变量，这将在后面的绑定中反映出来，请看下面的例子。
?- X = Y, Y = hello.
X = hello
Y = hello
?- X = Y, a(Z) = a(Y), X = hello.
X = hello
Y = hello
Z = hello
最后的这个例子能够很好地说明Prolog的变量绑定与其他语言中的变量赋值的区别。请仔细分析下面的询问。
?- X = Y, Y = 3, write(X).
3
X = 3
Y = 3
?- X = Y, tastes_yucky(X), write(Y).
broccoli
X = broccoli
Y = broccoli
当两个含变量的结构之间进行联合时，变量所取的值使得这两个结构相同。
?- X = a(b,c).
X = a(b,c)
?- a(b,X) = a(b,c(d,e)).
X = c(d,e)
?- a(b,X) = a(b,c(Y,e)).
X = c(_01,e)
Y = _01
无论多么复杂，Prolog都将准确地记录下变量之间的关系，一旦某个变量绑定为某值，与之有关的变量都将改变。
?- a(b,X) = a(b,c(Y,e)), Y = hello.
X = c(hello, e)
Y = hello
?- food(X,Y) = Z, write(Z), nl, tastes_yucky(X), edible(Y), write(Z). food(_01,_02)
food(broccoli, apple)
X = broccoli
Y = apple
Z = food(broccoli, apple)
如果在两次绑定中变量的值发生冲突，那么目标就失败了。
?- a(b,X) = a(b,c(Y,e)), X = hello.
no
上面的例子中，第二个子目标失败了，因为找不到一个y的值使得hello与c(Y,e)之间能够联合。而下面的例子是成功的。
?- a(b,X) = a(b,c(Y,e)), X = c(hello, e).
X = c(hello, e)
Y = hello
如果变量不能绑定为某一可能的值，那么联合也将失败。
?- a(X) = a(b,c).
no
?- a(b,c,d) = a(X,X,d).
no
下面的这个例子很有趣，请你研究一下吧。
?- a(c,X,X) = a(Y,Y,b).
no
你明白为什么这个例子失败么？第一个参数的绑定使得Y绑定为c，第二个参数之间的绑定告诉Prolog变量X与Y的值相同，那么X也绑定c，而最后一个参数的绑定使得X为b，有矛盾，所以失败了。这就是说没有什么办法能使得这两个结构联合。
匿名变量（_）不会绑定为任何值。所以也不要求它所出现的位置的值必须相同。
?- a(c,X,X) = a(,,b).
X = b
如果使用（=）那么联合操作时显式的。而Prolog在使用子句与目标匹配时的联合则是隐式的。