Unificación en programación lógica | 3/6 | UPV скачать в хорошем качестве

Unificación en programación lógica | 3/6 | UPV

Título: Unificación en programación lógica Descripción: 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. Vidal Oriola, GF. (2018). Unificación en programación lógica. http://hdl.handle.net/10251/105188 Descripción automática: En este video, el profesor del departamento de sistemas informáticos y computación explica el concepto de unificación en los lenguajes de programación lógica, particularmente en Prolog. El objetivo es enseñar a aplicar este concepto clave, que funciona encontrando una sustitución de variables en dos expresiones arbitrarias para que, al sustituirse, sean idénticas. Se comienza con la definición y casos generales de unificación entre términos, resaltando que dos variables siempre unifican asignando a una el valor de la otra, mientras que dos constantes solo unifican si son iguales. Además, se cubre la unificación de estructuras de datos, que depende del símbolo de función principal y del número y correspondencia de sus argumentos. El concepto se ejemplifica con varios casos, mostrando la importancia de evitar el problema del 'occurs check', en el cual una variable no puede contenerse a sí misma en una estructura. Se destaca que las estructuras que poseen símbolos principales diferentes no pueden unificar. Se inicia la segunda sección enfocándose en la unificación con listas, particularmente su representación y formato para realizar una unificación correcta. Se enfatiza en la equivalencia de los elementos de las listas y en colocarlas en un formato compatible antes de intentar la unificación. Finalmente, el profesor propone ejercicios de unificación y después revisa las soluciones, resaltando errores comunes y confirmando si se ha entendido el concepto. Como conclusión, se invita a practicar estos conceptos utilizando un entorno de Prolog para reforzar el aprendizaje a través de la ejecución de ejemplos de unificación. Autor/a: Vidal Oriola Germán Francisco Curso: Este vídeo es el 3/6 del curso Aspectos Importantes en Programación Lógica (Prolog).    • Aspectos Importantes en Programación Lógic...   Universitat Politècnica de València UPV: https://www.upv.es Más vídeos en:    / valenciaupv   Accede a nuestros MOOC: https://upvx.es #programación #programación lógica #unificación #1203 - Ciencias de la Computación