Modelo de programación lógica.

Modelo de programación lógica.

1. 4.1 Introducción al modelo de programación lógica.

   • La programación lógica es un tipo de paradigmas de programación dentro del paradigma de programación declarativa.

2. 4.2. Semántica de los programas lógicos.

   • Da significado a los programas Permite describir formal mente lo que calculan
     • Hay tres maneras de la semántica a los programas lógicos
       • La semántica declarativa
       • La semántica operacional
       • La semántica denotacional

3. 4.3. Representación clausada del conocimiento.

   • Es una área de inteligencia artificial
     • Su objetivo es representar el conocimiento de una manera que facilite sacar conclusiones

4. 4.4. Consulta de una base de cláusulas.

   • Una cláusula es una disyunción finita de cero o más literales
     • Una literal es un átomo o la negación de un átomo
   • Las cláusulas son los hechos, reglas y consultas.

5. 4.5. Espacios de búsqueda.

   • Para buscar una solución entre un conjunto de posibles soluciones.
     • Al conjunto de todas las posibles soluciones a un problema concreto se le llama espacio de búsqueda.
       • Cada punto en un espacio de búsqueda que representa una posible solución.

6. 4.6. Programación lógica con números, listas y árboles.

   • En PROLOG los objetivos numéricos pueden corresponder a tipos integer o float de C.
     • En la realización de operaciones numéricas se usa el is, que es lenguaje imperativo.
       • En las listas se agrupan los elementos de un mismo tipo.

7. 4.7. Control de búsqueda en programas lógicos

   • El orden afecta
     • Al correcto funcinamiento del programa
       • Como al recorrido del árbol de llamadas
         • Determina el orden de PROLOG devuelve las soluciones a una pregunta dada.

8. 4.8. Manipulación de términos.

   • write(+ Termino)
     • nI
       • write_In(+Termino)
         • wiritf(+Formato, +Argumentos)
           • tab(+X)
             • display(+Termino)
               • read(-termino)

9. 4.9 Predicados mitológicos.

   • Es uno de los términos que constituyen el juicio
     • Es considerando como la unión o separación entre dos terminos
       • Término Sujeto (S)
       • Término Predicado (P)
       • Algunos predicados
         • fail
         • true
         • repeat
         • +condicion -> +Accion

Bilder und Dateien der Mindmap