解释.同一概念是在 Prolog 背后的主要想法。它表示绑定变量的内容的机制并可以看作为一种只一次的(one-time)赋值。在 Prolog 中，这种操作用符号 "=" 来指示。由于它的声明本性，一序列合一的次序(通常)是不重要的。注意在一阶逻辑的术语中，原子是基本命题而且其合一同 Prolog 项一样。