Inicial
Temas
Documentación
Sistemas
José A. Alonso
Temas de "Programación lógica (2003-04)"
En esta página se encuentra las transparencias y ejercicios de las clase impartidas. Están en formato pdf.
Tema 1: El sistema deductivo de Prolog. (
transparencias
y
ejercicios
).
Tema 2: Prolog. (
transparencias
)
Tema 3: Programación con Prolog. (
transparencias
)
Tema 4: Resolución de problemas de espacios de estados. (
transparencias
)
Tema 5: Procesamiento de lenguaje natural. (
transparencias
)
Tema 6: Ingeniería del conocimiento y metaintérpretes. (
transparencias
)
Tema 7: Razonamiento por defecto y razonamiento abductivo. (
transparencias
)
Tema 8: Programación lógica con restricciones. (
transparencias
)
Tema 9: Formalización en Prolog de la lógica proposicional. (
transparencias
)
Tema 10: Implementación en Prolog de los tableros semánticos. (
transparencias
)
Tema 11: Implementación en Prolog de la transformación a cláusulas. (
transparencias
)
Tema 12: Implementación en Prolog de la resolución. (
transparencias
)
Tema 13: Fundamentos teóricos de la programación lógica.
[
Inicial
|
Temas
|
Documentación
|
Sistemas
]