PROGRAMACIÓNLÓGICA
TABLA DE CONTENIDO
CLASIFICACIÓN DE PARADIGMAS DE PROGRAMACIÓN
PARADIGMA DE PROGRAMACION
LOGICA
01
03
02
05
06
CONCEPTOS CLAVES
LENGUAJES DE PROGRAMACIÓN LÓGICA
APLICACIONES DE LA PROGRAMACIÓN LÓGICA
04 VENTAJAS Y DESVENTAJAS
CLASIFICACIÓN DE PARADIGMAS DE PROGRAMACIÓN
01
CLASIFICACIÓN
IMPERATIVOS
LENGUAJES DE PROGRAMACIÓN
DECLARATIVOS
CLASIFICACIÓN
IMPERATIVOS●●●
LENGUAJES DE PROGRAMACIÓN
DECLARATIVOS●●●
PARADIGMA DE PROGRAMACION LOGICA
02
FILOSOFIA DEL PARADIGMA
¿QUÉ TRATA DE RESOLVER?
ALGORITMO LÓGICA CONTROL
CARACTERÍSTICAS DEL PARADIGMA
CONCEPTOS CLAVES03
La mayoría de los lenguajes de programación lógica se basan en la teoría lógica de primer orden, aunque
también incorporan algunos comportamientos de orden superior.
LÓGICAPROPOSICIONAL
LÓGICA DE PRIMER ORDEN
LÓGICA DE ORDEN SUPERIOR
CONCEPTOS DE LÓGICA
PROPOSICIÓN LÓGICA SIMBÓLICACÁLCULO DE PREDICADOS
LÓGICA PROPOSICIONAL
EJEMPLOS
∧ ⇒
∧ ⇒
EJEMPLOS
∧ ⇒
∧ ⇒
REGLAS HECHOBASE DE
CONOCIMIENTO
LOGICA DE PRIMER ORDEN
Caracteristicas¿Qué son?
Utilidad●
●
LOGICA DE PRIMER ORDEN
CUANTIFICADORES
SIMBOLO NOMBRE SIGNIFICADO
∀
∃
∃!
F: X→Y x→y = F(x)
F: U✖V→Y u,v→y = F(u,v)
PREDICADOS
LÓGICA DE ORDEN SUPERIOR
∀ ∀ ∨
CLÁUSULAS DE HORN
∨ ∨ ∨
∧ ∧ ⇒
CLÁUSULA ‘DEFINITE’ HECHO CLÁUSULA OBJETIVO
EJEMPLO CLÁUSULAS DE HORN
∨ ∨∧ ⇒
hija(A, B) :- mujer(A), padre(B A)
UNIFICACIÓN Y BACKTRACKING
cláusulas de Horn"Si es verdad el antecedente, entonces es verdad el
consecuente"
UNIFICACIÓN
punto de elecciónsubconjunto de cláusulas susceptibles de ser ejecutadas, estas a su vez son puntos de elección.
BACKTRACKING
unificación deshace todo lo
ejecutado
∨ ∨ →
A
B C D
Falso Falso Falso Falso FalsoFalso Falso
A
B C D
Falso Falso Falso Falso FalsoFalso Falso
A
B C D
Falso Falso Falso Falso FalsoFalso Falso
A
B C D
Falso Falso Falso Falso FalsoFalso Falso
A
B C D
Falso Falso Falso Falso FalsoFalso Falso
A
B C D
Falso Falso Falso Falso FalsoFalso Falso
A
B C D
Falso Falso Falso Falso FalsoFalso Falso
A
B C D
Falso Falso Falso Falso FalsoFalso Falso
A
B C D
Falso Falso Falso Falso FalsoFalso Falso
A
B C D
Falso Falso Falso Falso FalsoFalso Falso
A
B C D
Falso Falso Verdadero Falso FalsoFalso Falso
A
B C D
Falso Falso Verdadero Falso FalsoFalso Falso
A
B C D
Falso Falso Verdadero Falso FalsoFalso Falso
A
B C D
Falso Falso Verdadero Falso FalsoFalso Falso
A
B C D
Falso Falso Verdadero Falso FalsoFalso Falso
A
B C D
Falso Falso Verdadero Falso FalsoFalso Falso
A
B C D
Falso Falso Verdadero Falso FalsoFalso Falso
A
B C D
Falso Falso Verdadero Falso FalsoFalso Falso
A
B C D
Falso Falso Verdadero Falso FalsoFalso Falso
MOTOR DE INFERENCIA
∧ →
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(pinguino)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(pinguino)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(pinguino)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(pinguino)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(pinguino)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(pinguino)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(pinguino)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(pinguino)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(pinguino)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(pinguino)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
RECURSION
VENTAJAS Y DESVENTAJAS
04
VENTAJAS
DESVENTAJAS
LENGUAJES DE PROGRAMACIÓN LÓGICA
05
PROLOG
● Es el lenguaje más representativo de la programación Lógica
● Se basa en lógica de primer orden
● Está basado en cláusulas de Horn
● Es un lenguaje de programación declarativo
PROLOG
Notebook : https://swish.swi-prolog.org/p/EjemploProLog.swinb
EJEMPLO 2
EJEMPLO 2
DATALOG (PYTHON)
●
●
●
DATALOG (PYTHON)
GÖDEL (programming language)
●
●●
●●
●Kurt Gödel
GÖDEL (programming language)
APLICACIONES DE LA PROGRAMACIÓN LÓGICA
06
APLICACIONES
SlidesgoFlaticon Freepik
Please keep this slide for attribution.
GRACIAS!
BIBLIOGRAFIA
● http://blog.koalite.com/2013/08/que-es-la-programacion-logica/● http://diposit.ub.edu/dspace/bitstream/2445/64643/1/memoria.pdf● https://ferestrepoca.github.io/paradigmas-de-programacion/proglogica/logica_teoria/lang.
html● https://www.monografias.com/trabajos106/logica-primer-orden/logica-primer-orden.sht
ml● http://www.it.uc3m.es/jvillena/irc/practicas/estudios/Lenguajes_Logicos.pdf● https://swish.swi-prolog.org/p/EjemploProLog.swinb● https://en.wikipedia.org/wiki/G%C3%B6del_(programming_language)
Top Related