Fundamentos de la programación lógica.

Fundamentos de la programación lógica.

1. Repaso de la lógica de primer orden.

   • Es
   • Argumentos
   • Sintaxis
     • Caracteres
   • Reglas
     • Axiomas
     • Semantica
     • Teoremas

2. Unificación y resolución.

   • Es
   • Se compone
   • Determina

3. Cláusulas de Horn y Resolución SLD.

   • Es
   • Sentencias
   • Representan

4. Programación lógica con cláusulas de Horn.

   • Formulas
   • Programa

5. Semántica de los programas lógicos.

   • Es
   • Especifica
   • Ejemplo

6. Representación clausada del conocimiento.

   • Representa
   • Formas

7. Consulta de una base de cláusulas

   • Formado
   • Hechos y Reglas
   • Clausula

8. Programación lógica con números listas y árboles.

   • Basada en
   • Estructura
   • Utilizacion en prolog

9. Control de búsqueda en programas lógicos

   • Se define
   • procesa
   • Utiliza

10. Manipulación de términos. (Predicados metalógicos.)

    • Varidacion
    • Manipulacion
    • Clasificacion

11. Alumna: Emily Arroyo

Imágenes y archivos del mapa