- -
UPV
 

El MGU en programación lógica

Vidal Oriola, Germán Francisco; 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. El MGU en programación lógica http://hdl.handle.net/10251/105199


EMAS upv