TEMA:
PARADIGMA DE LA
PROGRAMACION
LOGICA
PRESENTADO POR:
STEFFANIA RODRIGUEZ ZAMBRANO
SAÚL TAFOLLA RAMÍREZ
INTRODUCCIÓN
En está presentación vamos a ver el
funcionamiento de la programación lógica,
veremos sus aplacaciones, sus tipos,
características y daremos algunos ejemplos de
como se puede emplear este paradigma de
programación
tipos de programación
lógica
En el ámbito de la programación lógica, existen varios tipos de
paradigmas que se utilizan para abordar diferentes problemas y
escenarios. Aquí tienes una descripción de algunos de los tipos más
comunes.
tipos de programación
lógica
PREDICADOS
DEL PRIMER LOGICA LOGICA LOGICA
ORDEN PROLOG INDUCTIVA PROBABILISTICA CONCURRENTE
Se utilizan Utiliza un enfoque Se utiliza para el Se utiliza para Permite la
especificación de
predicados para de resolución descubrimiento de modelar sistemas sistemas distribuidos y
representar basado en el conocimiento en donde la concurrentes mediante
hechos y reglas principio de la bases de datos y la información puede la utilización de reglas y
generación hechos que representan
sobre objetos en resolución del ser incompleta o
automática de reglas la interacción entre
el dominio del teorema de lógica incierta diferentes agentes o
de clasificación y
problema procesos.
predicción.
CARACTERISTICAS
CARACTERISTICA DESCRIPCION
La programación lógica se basa en la lógica matemática, por lo que se
Basada en la lógica utilizan símbolos lógicos como "and", "or", "not" para describir las
relaciones lógicas entre los hechos y las reglas.
La programación lógica es un paradigma declarativo, lo que significa que
el programador define el resultado deseado, pero no las instrucciones
Declarativa específicas para alcanzarlo. El lenguaje de programación traduce la
especificación del problema en una serie de operaciones y algoritmos que
se utilizan para obtener el resultado deseado.
La programación lógica es no determinista, lo que significa que el orden
de las operaciones y las soluciones que se encuentran no están
No determinista
determinadas de antemano. El programa debe buscar entre todas las
posibles soluciones para encontrar la más adecuada.
En la programación lógica, el programador define las reglas que describen
Basada en reglas las relaciones lógicas entre los hechos y los objetos, y luego le solicita al
programa que encuentre una solución lógica a un problema en particular.
CARACTERISTICAS
CARACTERISTICAS DESCRIPCION
La programación lógica se utiliza para la inferencia de datos, que es el proceso de
Inferencia deducir nuevos conocimientos a partir de los datos existentes mediante la aplicación
de reglas lógicas.
La programación lógica se utiliza para la resolución de problemas en áreas como la
Resolución de problemas inteligencia artificial, la representación del conocimiento, la inferencia de datos, la
planificación y la resolución de problemas en general.
La programación lógica se basa en la recursividad, lo que significa que una regla
Recursiva puede invocarse a sí misma para resolver un problema de forma repetida hasta que se
alcance la solución final.
LENGUAJE REPRESENTATIVOS
Lambda
Prolog Logtalk Datalog miniKanren Ace Prolog
ejemplos de la
programación
lógica
EJEMPLO 1
– Hecho: Rubí es un gato.
– Regla: todos los gatos tienen dientes.
– Consulta: ¿Rubí tiene dientes?
– Conclusión: sí.
La regla “todos los gatos tienen dientes” se puede aplicar a Rubí,
porque hay un hecho que dice “Rubí es un gato”. Este ejemplo no
está escrito con ninguna sintaxis de un lenguaje de programación real.
FUENTES
CONSULTADAS
https://ferestrepoca.github.io/paradigmas-de-
programacion/proglogica/logica_teoria/proglogica.html
https://ferestrepoca.github.io/paradigmas-de-
programacion/proglogica/logica_teoria/lenguaje.html
https://lamaquinaoraculo.com/matematicas/logica-de-primer-
orden/#:~:text=La%20Lógica%20de%20Primer%20Orden,con%20la%20Ló
gica%20de%20Proposiciones.
https://www.lifeder.com/programacion-logica/
