Unificación en programación lógica

En este vídeo se introduce uno de los conceptos esenciales de la programación lógica, el concepto de unificación. El mecanismo de unificación se emplea como paso de parámetros bidireccional en la ejecución de los programas, por lo que resulta imprescindible conocerlo y saber calcular con soltura el unificador de dos expresiones.https://media.upv.es/player/?id=e4a02e50-6016-11e8-aab9-a1a4e108f2abVidal Oriola, GF. (2018). Unificación en programación lógica. http://hdl.handle.net/10251/10518