s" 和 "t" 的任何公共的代换实例也是 "u" 的实例。例如，对于多项式 "X" 和 "Y" 可以通过采纳 "X" = "Z" 和 "Y" = "Z" 而同一到 "Z"。
Prolog 中的合一的解释.同一概念是在Prolog背后的主要想法。它表示绑定变量的内容的机制并可以看作为一种只一次的(one-time)赋值。在 Prolog 中，这种操作用符号 "=" 来指示。由于它的声明本性，一序列合一的次序(通常)是不重要的。注意在一阶逻辑的术语中，原子是基本命题