25140839
Description
Mind Map by Daniel Grajales Martínez, updated more than 1 year ago
|
Created by Daniel Grajales Martínez
over 4 years ago
|
|
Programación Lógica.
- 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'.
- 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.
- Enteros: 10, -475.
- Á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).
- 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).
- Jefe, X, _cedula, PRECIO, _y3.
- Estructura
- Constante:
- Término:
- Representar los objetos
mediante términos.
- 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).
- 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).
- trabaja(jake, doctor, rosales).
regala(freddie, chocolates, anna).
le_gusta(stacy, gatos).
- Monádicos: que tienen un sólo
término. Describir un objeto
con hechos monádicos.
- Existen dos tipos de Hechos:
- Los Hechos son de la forma:
p (t1, t2, t3, ... , tn).
- 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).
- aprueba (roberto, programacion):- entiende (roberto, conceptos), realiza (roberto, ejercicios).
- "el niño es feliz si le dejan jugar
videojuegos y le llevan comida".
- Un Hecho es una afirmación simple;
un enunciado que siempre es verdad.
- Relaciones: Describen los vínculos
que tienen unos objetos con otros
en un problema determinado. Se
describen con hechos o reglas.
- 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).
- aprueba_materia(Alguien):-aprueba(Alguien, parcial I), le_funciona(Alguien, proyecto I).
- Se describen
mediante reglas.
- Objetivos: Son las consultas que definen
la funcionalidad para un programa
determinado. Equivalen a la función
principal en un programa imperativo.
- Definimos los objetivos
mediante consultas.
- 1. Objetos: Datos
que intervienen en
un problema.
- ¿Qué no tiene
Prolog?
- Declaraciones de tipo,
Declaración de variables,
Declaración de Secciones
y Declaración de
Procedimientos.
- Declaraciones de tipo,
Declaración de variables,
Declaración de Secciones
y Declaración de
Procedimientos.
- Elementos de
Prolog:
- ¿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.
- Se usa para la
inteligencia
artificial,
especialmente
en los sistemas
expertos.
- Es un tipo de programación
declarativa, donde se indica lo
que se quiere, pero el pc lo
hace como puede.
Media attachments
Want to create your own Mind Maps for free with GoConqr? Learn more.