El Unificador Más General (MGU)

Silva Galiana, Josep Francesc; 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. http://hdl.handle.net/10251/204870