Temas de "Lógica informática" (curso 2011-12). https://web.archive.org/web/http://www.cs.us.es/~jalonso/cursos/li-11/temas/temas-LI-2011-12.pdf #Lógica #ProgramaciónLógica #Prolog

Curso "Lógica informática (2011-12)". https://jaalonso.github.io/cursos/li-11 #Lógica #ProgramaciónLógica #Prolog

Curso de programación lógica. ~ Ana Pradera. https://burjcdigital.urjc.es/server/api/core/bitstreams/30d163ff-af2a-46b8-9b3b-980b87bbf13f/content #Lógica #ProgramaciónLógica #Prolog

Apuntes de lógica: desde Aristóteles hasta Prolog. ~ Joaquín Arias. https://burjcdigital.urjc.es/server/api/core/bitstreams/601a1567-c9b0-43c8-b684-6321230bf781/content #Lógica #ProgramaciónLógica #Prolog

Enseñanza del sistema de deducción natural en lógica proposicional aplicando programación lógica. ~ Joaquín Arias, Iván Ramírez. https://cied.urjc.es/innovacion/banco-de-buenas-practicas-docentes/item/1425-ensenanza-del-sistema-de-deduccion-natural-en-logica-proposicional-aplicando-programacion-logica #Lógica #ProgramaciónLógica #Prolog

Curso "Programación lógica (2008-09)". https://jaalonso.github.io/cursos/d-pl-08 #ProgramaciónLógica #Prolog #IA

Curso "Programación declarativa (2008-09)". https://jaalonso.github.io/cursos/pd-08 #ProgramaciónFuncional #Haskell #ProgramaciónLógica #Prolog

Curso "Programación lógica (2007-08)". https://jaalonso.github.io/cursos/d-pl-07 #ProgramaciónLógica #Prolog #IA

Curso "Programación declarativa (2007-08)". https://jaalonso.github.io/cursos/pd-07 #ProgramaciónFuncional #Haskell #ProgramaciónLógica #Prolog