El MGU en programación lógica

En este vídeo se introduce un algoritmo para calcular el MGU (most general unifier) de dos expresiones. Se trata de un concepto clave para comprender la ejecución de un programa lógico. Vidal Oriola, GF. (2018). El MGU en programación lógica. http://hdl.handle.net/10251/105199