-
Elementos de la Lógica Proposicional.
-
Lógica de Primer Orden.
-
Fundamentos de Prolog.
-
Usos de Prolog:
-
Estructura y datos. Sintaxis. Backtracking, Unificación. Listas en Prolog, Corte y combinación de corte y fallo. Predicados predefinidos, reglas en Prolog, reglas recursivas, significado declarativo y procedural de los programas.
-
Programación lógica y acceso a datos.
-
Programación lógica y gramática.
-
Sistemas Expertos: Dominio, representación del conocimiento y mecanismos de razonamiento
-
Programación lógica basada en restricciones: El problema de satisfacción de restricciones
-
Métodos de resolución del problema de satisfacción de restricciones.