合一的解释：合而为一,合成一体。
详细解释
(1).相合为一。 宋 张载 《正蒙·神化》：“推行有渐为化，合一不测为神。” 王夫之 注：“其推行之本，则固合为一气，和而不相悖害。” 明 王守仁 《传习录》卷下：“我今说箇知行合一，正要人晓得一念发动处，便即是行了。”
(2).同一；一致。 鲁迅 《书信集·致唐弢》：“ 日本 的语文是不合一的，学了语，看不懂文。” 许杰 《＜文艺、批评与人生＞自序》：“我觉得，文学与人生是统一的，而且是合一的。”
词语分解
合的解释 合 é 闭，对拢：合眼。合抱。珠连璧合。貌合神离。 聚集：合力。合办。合股。合资。 不违背，一事物与另一事物相应或相符：合格。合法。情投意合。 应该：合该。合当。“文章合为时而著，诗歌合为时而作”。
一的解释 一 ī 数名，最小的正整数（在钞票和单据上常用大写“壹”代）。 纯；专：专一。一心一意。 全；满：一生。一地水。 相同：一样。颜色不一。 另外的：蟋蟀一名促织。 表示动作短暂，或是一次，或具试探性：算
合一是数理逻辑中的一阶谓词演算使用的一种运算方法。数理逻辑就是以推理(特别是数学中的演绎推理)作为研究对象的学科。
它主要是运用数学方法使用数学符号，来研究数学领域公共使用的逻辑推理。而在语言研究中使用“合一”法，就是要用数理逻辑的推理方式来描述语言，达到精确化的目的。
在数学逻辑方面，尤其是在计算机领域，两个项目的统一，是指在特定的条件下，我们假设一组项目的一个或多个自由变量的统一性，若有，则为其代换实例之一。
同一概念是在Prolog背后的主要想法。它表示绑定变量的内容的机制并可以看作为一种只一次的赋值。在Prolog中，这种操作用等于来指示。
1、在传统Prolog中，未实例化的变量—就是说在它上面以前没有进行合一，可以合一于一个原子、一个项、或另一个未实例化的变量。
因此在效果上变成了它的别名。在很多现代Prolog方言和一阶逻辑演算中，变量不能合一于包含它的项；这叫作出现检查。
2、Prolog原子只能合一于同一个原子。
3、类似地，项只能合一于另一个项，如果顶部函数符号和项的元数和这个项是一样的，并且参数可以同时合一。注意这是递归行为。
x由于它的声明本性，一序列合一的次序是不重要的。
注意在一阶逻辑的术语中，原子是基本命题而且其合一同Prolog项一样。