El Unificador Más General (MGU)

Este video explica qué es un unificador en la programación lógica y cuál es el unificador más general. También explica un algoritmo para calcular el unificador más general de dos términos cualesquiera. Finalmente, se proponen cuatro ejercicios para calcular el unificador más general de cuatro pares de términos. Silva Galiana, JF. (2024). El Unificador Más General (MGU). https://riunet.upv.es/handle/10251/204870 DER