Unificação
Definição – O que significa Unificação? Em ciência da computação e lógica, a unificação é o procedimento algorítmico usado na resolução de equações que envolvem expressões simbólicas. Em outras palavras, ao substituir certas variáveis de subexpressão por outras expressões, a unificação tenta identificar duas expressões simbólicas. A unificação é usada na tecnologia de raciocínio automatizado, … Ler mais