Lógica para la computación. Teorías de primer orden, resolución y elementos de programación lógica y prolog.

1. Teoría de primer orden.
- Lenguajes de primer orden,
- El sistema formal teorías de primer orden,
- Metas teoremas. Reglas y teoremas derivados,
- El cálculo de tablas analíticas,
- Definiciones y utilización,
- Aplicación,
- Semántica,
- Estructuras,
- Significado de expresiones,
- Validez,
- Completud, Consistencia y Decidibilidad,
- La lógica de proposiciones,
- Sintaxis,
- Semántica,
- Clausulas de Horn,
2. Resolución,
- Reducción a un conjunto de cláusulas,
- Formas prenex,
- Formas de Skolem,
- Supresión de cuantificadores universales,
- Reducción a un conjunto de cláusulas,
- Unificación,
- Resolución y teoría de HERBRAND,
- Principio de resolución,
- Corrección,
- teoría de Herbrand,
- Completud,
- Algunos procedimiento basados en el teorema de HERBRAND,
3. Elementos de programación lógica y prolog,
- Refinamiento y estrategia de la resolución,
- La resolución SLD,
- Utilización de la resolución SLD y otros refinamientos,
- PROLOG,
- La resolución PROLOG,
- Búsqueda en profundidad,
- Búsqueda en anchura,
- Las ramas infinitas,
- La vuelta atrás,
- Predicados y funciones de la implementación,
ÍNDICE