1.置换
    一个表达式的置换就是在该表达式中用置换项置换变量。一般说来,置换是可结合的,但置换是不可交换的。

2.合一
    寻找项对变量的置换,以使两表达式一致,叫做合一(unification)。如果一个置换s作用于表达式集{Ei}的每个元素,则用{Ei}s来表示置换例的集。称表达式集{Ei}是可合一的。 本文来自www.eadianqi.com