Vidal Oriola, Germán Francisco(Universitat Politècnica de València, 2018-07-03)
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.