PROLOG: La Historia

Prolog es el lenguaje de programación lógica creado en 1972 por Alain Colmerauer y Philippe Roussel en Marsella, basado en las cláusulas de Horn y la interpretación procedimental de la lógica de Robert Kowalski. En este vídeo exploramos su historia completa: desde la "guerra de la lógica" entre McCarthy y Minsky en los años 60, pasando por el nacimiento del lenguaje en la Universidad de Aix-Marseille, hasta la apuesta de Japón con el proyecto de la Quinta Generación de Computadoras y su uso en sistemas como IBM Watson o la Estación Espacial Internacional. ¿Sabías que un tercio de todos los billetes de avión del mundo son gestionados por sistemas que ejecutan Prolog? ¿Y que el lenguaje fue implementado inicialmente en Prolog... el propio Erlang? #prolog #colmerauer #kowalski #logica #historia #programacion Guión: Manuel Rubio Edición: Antonio Rubio Arte Gráfico: Azahara Montesino (Azariel Arte) https://www.instagram.com/azariel_art... Voces: Pro es: Manuel Rubio, Chip es: Antonio Rubio Violeta es: Azahara Montesino Hexa es: Ana María Rubio Puedes conocer más sobre el origen de la programación a través del libro Historia de los Lenguajes de Programación: https://altenwald.com/historia-de-los... Fuentes: El Origen de Prolog https://programandotrahistoria.com/el... Logic Programming: Systematic Program Development https://www.abebooks.com/first-editio... APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING https://apps.dtic.mil/sti/tr/pdf/ADA4... PLANNER: A LANGUAGE FOR PROVING THEOREMS IN ROBOTS https://papers.cumincad.org/data/work... Fifty Years of Prolog and Beyond https://arxiv.org/pdf/2201.10816 Natural Language Processing With Prolog in the IBM Watson System https://www.cs.miami.edu/home/odelia/... Watson and the Jeopardy! Challenge    • Watson and the Jeopardy! Challenge   THE BRITISH NATIONALITY ACT AS A LOGIC PROGRAM https://www.doc.ic.ac.uk/~rak/papers/... SICStus Prolog—the first 25 years https://arxiv.org/pdf/1011.5640 Using Prolog in Windows NT Network Configuration https://web.archive.org/web/200406031... On sentences which are true of direct unions of algebras https://www.jstor.org/stable/2268661 Predicate Logic as Programming Language https://www.doc.ic.ac.uk/~rak/papers/... The Birth of Prolog http://alain.colmerauer.free.fr/alcol... Línea de tiempo: 0:00 Introducción 0:45 El fructífero debate intelectual 4:40 Curso de programación 5:55 ¿Quién usa Prolog? 9:06 ¿Qué son las cláusulas de Horn? 10:02 La tensión Marsella-Edimburgo 11:50 Conclusiones 12:56 Postre