ELEMENTOS A CONSIDERAR PARA MAPA.

Complementar con las indicaciones solicitadas por

parte del profesor en clases.

Semántica de la Programación Lógica:

1. Fundamentos de la Programación Lógica:

• Lógica de Predicados

• Reglas de Inferencia

• Unificación

2. Elementos Básicos:

• Hechos

• Reglas

• Consultas

3. Unificación:

• Proceso de encontrar valores para variables que hacen que dos términos sean
iguales.

• Substitución de Variables

4. Resolución:

• Método principal para buscar soluciones a consultas.

• Proceso de búsqueda de la resolución para obtener respuestas.

5. Modelo de Herbrand:

• Conjunto de todas las constantes y funciones en un programa lógico.

• Ayuda a determinar la completitud de un conjunto de cláusulas.

6. Lógica de Primer Orden:

• Extensión de la lógica proposicional.

• Introduce cuantificadores para expresar proposiciones sobre conjuntos de

elementos.

7. Prolog:

• Lenguaje de programación lógica.

• Utilizado para implementar algoritmos basados en lógica de primer orden.

PROGRAMACIÓN LÓGICA
 8. Ejemplos de Aplicación:

• Resolución de problemas de lógica.

• Implementación de sistemas expertos.

• Desarrollo de sistemas de inferencia.

PROGRAMACIÓN LÓGICA