Programación Lógica.

Programación Lógica.

1. El entorno a usar es SWI - Prolog.

   • Elementos de Prolog:
     • 1. Objetos: Datos que intervienen en un problema.
       • Representar los objetos mediante términos.
         • Término:
           • Constante:
             • Átomos: Representan objetos concretos determinados, mediante un nombre textual. (Debe comenzar en minúscula, a menos que esté entre comillas ya sean simples o dobles).
               • alberto, x, casa102, "Esteban Jimenez", '1234567'.
             • Números: Representan objetos que son números y con los que se pueden hacer cálculos.
               • Enteros: 10, -475.
               • Reales: 9.5, -5.3.
           • Variable: Representan objetos por determinar; se asemejan al concepto de incógnita. Se pueden usar tanto en Hechos como en Reglas. (Debe comenzar en mayúscula o con guión bajo).
             • Jefe, X, _cedula, PRECIO, _y3.
             • REGLA: acepta_salir(maria, Alguien):- regala(Alguien,flores,maria), tiene(Alguien, moto).
             • HECHO: suma (X, 0, X).
           • Estructura
     • 2. Relaciones: Como se relacionan los objetos entre sí.
       • Relaciones: Describen los vínculos que tienen unos objetos con otros en un problema determinado. Se describen con hechos o reglas.
         • Un Hecho es una afirmación simple; un enunciado que siempre es verdad.
           • Los Hechos son de la forma: p (t1, t2, t3, ... , tn).
             • Existen dos tipos de Hechos:
               • Monádicos: que tienen un sólo término. Describir un objeto con hechos monádicos.
                 • Ejemplo: alto(juan). impar(9).
               • Poliádicos: que tienen varios términos. Describir relaciones del problema con hechos poliádicos.
                 • trabaja(jake, doctor, rosales). regala(freddie, chocolates, anna). le_gusta(stacy, gatos).
         • Regla: Declaraciones que son verdaderas sólo cuando se cumplen unas condiciones.
           • "el niño es feliz si le dejan jugar videojuegos y le llevan comida".
           • Las reglas sirven para crear nuevos hechos a partir de otros ya existentes
             • aprueba (roberto, programacion):- entiende (roberto, conceptos), realiza (roberto, ejercicios).
     • 3. Objetivos: ¿Qué es lo que se quiere consultar?
       • Definimos los objetivos mediante consultas.
         • Objetivos: Son las consultas que definen la funcionalidad para un programa determinado. Equivalen a la función principal en un programa imperativo.
           • Se describen mediante reglas.
             • aprueba_materia(Alguien):-aprueba(Alguien, parcial I), le_funciona(Alguien, proyecto I).
   • ¿Qué no tiene Prolog?
     • Declaraciones de tipo, Declaración de variables, Declaración de Secciones y Declaración de Procedimientos.

2. ¿Qué es la programación Lógica? Es una forma de resolver las cosas (paradigma).

   • Es un tipo de programación declarativa, donde se indica lo que se quiere, pero el pc lo hace como puede.
     • Se usa para la inteligencia artificial, especialmente en los sistemas expertos.

Imágenes y archivos del mapa