Presentaciones de semestres anteriores

1. Presentacion periodo 2015-1
2. Presentacion periodo 2015-2
3. Presentacion periodo 2016-1
4. Presentacion periodo 2016-2
5. Presentacion periodo 2017-1
6. Presentacion periodo 2017-2
7. Presentacion periodo 2018-2
8. Presentacion periodo 2019-1
9. Presentacion periodo 2019-2
10. Presentacion periodo 2020-1
11. Presentacion periodo 2020-2
12. Presentacion periodo 2022-1
13. Presentacion periodo 2022-2
14. Presentación periodo 2023-1
15. Presentación periodo 2023-2
16. Presentación periodo 2024-1

Referencias y bibliografía

1. Programación lógica:
   • Johannes Kepler Universat-Research Institute for Symbolic Computation,Studying Symbolic Computation
   • Wikipedia - Symbolic Programming
   • Veronica Dahl, Natural language processing and logic programming, The Journal of Logic Programming,Volumes 19–20, Supplement 1,1994,
   • Tema1:Introducción a la demostración automática de teoremas, Dpto. Ciencias de la Computacion e Inteligencia Artificial Universidad de Sevilla
   • Aplicacíon de programación lógica en detección de sintaxis en el lenguaje natural
   • Cibernetico.org - ¿Que es la programación Logica?
   • Eduardo Fernández Matamala - Otros Lenguajes Lógicos Ademas de Prolog
   • Frank Pfenning - Logic Programming
   • Inteligencia Artificial Belarmino - Introducción a la Programación Lógica
   • Javier Alexander Riascos - Programación Lógica
   • Smashingmagazine - Paradigma Imperativo vs Declarativo
   • Universitat de Barcelona - Programación Lógica
   • Universidad de Catalunya - MULTIPATH: Un sistema para la programación lógica
   • Universidad Politécnica de Madrid - Términos Programación Lógica
   • Universidad Tecnológica Nacional - Programación Lógica
   • WhitePaper - Programación Lógica
   • WikiBooks - Recursive Rules
   • Wikipedia - Logic Programming
   • Wikipedia - Programación Lógica
   • Apuntes de Programación lógica - Marisa Navarro:
     • Tema #1
     • Tema #2
     • Tema #3
2. Lógica proposicional:
   • Wikipedia - Clausula de Horn
   • Wikipedia - Lógica de Primer Orden
   • Wikipedia - Lógica De Orden Superior o Segundo Orden
   • Wikipedia - Lógica Proposicional
3. Prolog:
   • Prolog
   • Wikipedia - Prolog
   • YouTube - Prolog Tutorial
4. Mercury:
   • Mercury
5. CycL
   • Wikipedia-CycL
6. miniKanren:
   • MiniKanren
7. Godel:
   • Wikipedia-Godel
   • The Gödel Programming Language
8. Datalog:
   • Datalog: Deductive Database Programming
   • Wikipedia-Datalog
9. Progamación Lógica Probabilística:
   • Probabilistic logic programming
   • Aplicaciones de la Programación Lógica Probabilística usando Problog2
   • Problog