Título: Unificación
Descripción: Silva Galiana, Josep Francesc;
Este video explica qué es la unificación de términos en un lenguaje de programación. Se explican varios ejemplos de unificación y se proponen varios ejercicios que el alumno puede resolver (se da la solución a los mismos).
hdl.handle.net/...
Descripción automática: En este vídeo se explica el concepto de unificación en lenguajes lógicos, como Prolog. La unificación es un mecanismo que permite convertir dos términos en idénticos mediante una sustitución de variables. Se presentan varios ejemplos de términos que pueden o no unificar, dependiendo de si se puede encontrar una sustitución que haga que los términos sean iguales. También se discute la excepción de que una variable no puede sustituirse por un predicado que contenga a esa variable, conocida como "ocorrencia". Además, se aborda el tema de que si hay una sustitución que hace que dos términos unifiquen, entonces hay infinitas sustituciones que también lo hacen. Sin embargo, lo que nos interesa es encontrar la sustitución más general (MGU) que tenga menos restricciones en las variables. Por último, se concluye que la unificación es un mecanismo esencial en los lenguajes lógicos y existen algoritmos específicos para encontrar el MGU dados dos términos cualesquiera.
Autor/a: Silva Galiana Josep Francesc
+ Universitat Politècnica de València UPV: www.upv.es
+ Más vídeos en: / valenciaupv
+ Accede a nuestros MOOC: upvx.es
#Unificación de términos #Lenguajes de programación #