UNIFICATION

унификация, отождествление. Операция сравнения двух выражений, связывающая переменные-параметры одного выражения (образца) с соответствующими подвыражениями другого. Например, отождествление образца X*(X+1) с выражением A/B*(A/B+1) свяжет X с A/B; отждествление того же образца с выражением A/B*(A*B+1) закончится неуспехом.