unification

Операція уніфікації (в мові ПРОЛОГ)

уніфікація

об'єднування