Унификация (информатика)
 | За информацията в тази статия или раздел не са посочени източници. Въпросната информация може да е непълна, неточна или изцяло невярна. Имайте предвид, че това може да стане причина за изтриването на цялата статия или раздел. |  |
- „Унификация“ означава „уеднаквяване“ или „обединяване“. Тази статия е за темата в информатиката.
Унификация в математическата логика и по-специално в информатиката е метод за уеднаквяване на логически изрази и играе основна роля в областта на логическото програмиране.
Пример[редактиране | редактиране на кода]
Нека са дадени изразите A1 = (X,Y,f(b)) и A2 = (a,b,Z)
В А1 заместваме X с а и Y с b, а в A2 Z с f(b), така те са еднакви или унифицирани.