programaciÓn lÓgica - github pages€¦ · paradigmas de programaciÓn paradigma de programacion...
TRANSCRIPT
![Page 1: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/1.jpg)
PROGRAMACIÓNLÓGICA
![Page 2: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/2.jpg)
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
![Page 3: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/3.jpg)
CLASIFICACIÓN DE PARADIGMAS DE PROGRAMACIÓN
01
![Page 4: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/4.jpg)
CLASIFICACIÓN
IMPERATIVOS
LENGUAJES DE PROGRAMACIÓN
DECLARATIVOS
![Page 5: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/5.jpg)
CLASIFICACIÓN
IMPERATIVOS●●●
LENGUAJES DE PROGRAMACIÓN
DECLARATIVOS●●●
![Page 6: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/6.jpg)
PARADIGMA DE PROGRAMACION LOGICA
02
![Page 7: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/7.jpg)
FILOSOFIA DEL PARADIGMA
![Page 8: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/8.jpg)
¿QUÉ TRATA DE RESOLVER?
![Page 9: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/9.jpg)
ALGORITMO LÓGICA CONTROL
![Page 10: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/10.jpg)
CARACTERÍSTICAS DEL PARADIGMA
![Page 11: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/11.jpg)
CONCEPTOS CLAVES03
![Page 12: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/12.jpg)
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
![Page 13: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/13.jpg)
CONCEPTOS DE LÓGICA
PROPOSICIÓN LÓGICA SIMBÓLICACÁLCULO DE PREDICADOS
![Page 14: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/14.jpg)
LÓGICA PROPOSICIONAL
![Page 15: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/15.jpg)
EJEMPLOS
∧ ⇒
∧ ⇒
![Page 16: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/16.jpg)
EJEMPLOS
∧ ⇒
∧ ⇒
![Page 17: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/17.jpg)
REGLAS HECHOBASE DE
CONOCIMIENTO
![Page 18: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/18.jpg)
LOGICA DE PRIMER ORDEN
Caracteristicas¿Qué son?
Utilidad●
●
![Page 19: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/19.jpg)
LOGICA DE PRIMER ORDEN
![Page 20: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/20.jpg)
CUANTIFICADORES
SIMBOLO NOMBRE SIGNIFICADO
∀
∃
∃!
![Page 21: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/21.jpg)
F: X→Y x→y = F(x)
F: U✖V→Y u,v→y = F(u,v)
PREDICADOS
![Page 22: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/22.jpg)
LÓGICA DE ORDEN SUPERIOR
∀ ∀ ∨
![Page 23: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/23.jpg)
CLÁUSULAS DE HORN
∨ ∨ ∨
∧ ∧ ⇒
![Page 24: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/24.jpg)
CLÁUSULA ‘DEFINITE’ HECHO CLÁUSULA OBJETIVO
![Page 25: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/25.jpg)
EJEMPLO CLÁUSULAS DE HORN
∨ ∨∧ ⇒
hija(A, B) :- mujer(A), padre(B A)
![Page 26: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/26.jpg)
UNIFICACIÓN Y BACKTRACKING
cláusulas de Horn"Si es verdad el antecedente, entonces es verdad el
consecuente"
![Page 27: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/27.jpg)
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
![Page 28: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/28.jpg)
∨ ∨ →
![Page 29: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/29.jpg)
A
B C D
Falso Falso Falso Falso FalsoFalso Falso
![Page 30: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/30.jpg)
A
B C D
Falso Falso Falso Falso FalsoFalso Falso
![Page 31: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/31.jpg)
A
B C D
Falso Falso Falso Falso FalsoFalso Falso
![Page 32: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/32.jpg)
A
B C D
Falso Falso Falso Falso FalsoFalso Falso
![Page 33: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/33.jpg)
A
B C D
Falso Falso Falso Falso FalsoFalso Falso
![Page 34: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/34.jpg)
A
B C D
Falso Falso Falso Falso FalsoFalso Falso
![Page 35: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/35.jpg)
A
B C D
Falso Falso Falso Falso FalsoFalso Falso
![Page 36: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/36.jpg)
A
B C D
Falso Falso Falso Falso FalsoFalso Falso
![Page 37: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/37.jpg)
A
B C D
Falso Falso Falso Falso FalsoFalso Falso
![Page 38: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/38.jpg)
A
B C D
Falso Falso Falso Falso FalsoFalso Falso
![Page 39: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/39.jpg)
A
B C D
Falso Falso Verdadero Falso FalsoFalso Falso
![Page 40: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/40.jpg)
A
B C D
Falso Falso Verdadero Falso FalsoFalso Falso
![Page 41: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/41.jpg)
A
B C D
Falso Falso Verdadero Falso FalsoFalso Falso
![Page 42: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/42.jpg)
A
B C D
Falso Falso Verdadero Falso FalsoFalso Falso
![Page 43: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/43.jpg)
A
B C D
Falso Falso Verdadero Falso FalsoFalso Falso
![Page 44: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/44.jpg)
A
B C D
Falso Falso Verdadero Falso FalsoFalso Falso
![Page 45: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/45.jpg)
A
B C D
Falso Falso Verdadero Falso FalsoFalso Falso
![Page 46: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/46.jpg)
A
B C D
Falso Falso Verdadero Falso FalsoFalso Falso
![Page 47: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/47.jpg)
A
B C D
Falso Falso Verdadero Falso FalsoFalso Falso
![Page 48: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/48.jpg)
MOTOR DE INFERENCIA
∧ →
![Page 49: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/49.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
![Page 50: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/50.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
![Page 51: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/51.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
![Page 52: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/52.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
![Page 53: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/53.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
![Page 54: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/54.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
![Page 55: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/55.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
![Page 56: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/56.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
![Page 57: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/57.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
![Page 58: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/58.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
![Page 59: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/59.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
![Page 60: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/60.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(paloma)
![Page 61: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/61.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(pinguino)
![Page 62: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/62.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(pinguino)
![Page 63: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/63.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(pinguino)
![Page 64: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/64.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(pinguino)
![Page 65: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/65.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(pinguino)
![Page 66: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/66.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(pinguino)
![Page 67: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/67.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(pinguino)
![Page 68: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/68.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(pinguino)
![Page 69: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/69.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(pinguino)
![Page 70: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/70.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(pinguino)
![Page 71: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/71.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
![Page 72: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/72.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
![Page 73: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/73.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
![Page 74: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/74.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
![Page 75: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/75.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
![Page 76: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/76.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
![Page 77: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/77.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
![Page 78: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/78.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
![Page 79: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/79.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
![Page 80: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/80.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
![Page 81: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/81.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
![Page 82: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/82.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
![Page 83: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/83.jpg)
Vuela(X)
EsAve(X)
X = pinguino X = paloma X = loro
no(X, pinguino)
Vuela(aguila)
![Page 84: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/84.jpg)
RECURSION
![Page 85: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/85.jpg)
VENTAJAS Y DESVENTAJAS
04
![Page 86: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/86.jpg)
VENTAJAS
![Page 87: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/87.jpg)
DESVENTAJAS
![Page 88: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/88.jpg)
LENGUAJES DE PROGRAMACIÓN LÓGICA
05
![Page 89: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/89.jpg)
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
![Page 90: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/90.jpg)
PROLOG
Notebook : https://swish.swi-prolog.org/p/EjemploProLog.swinb
![Page 91: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/91.jpg)
EJEMPLO 2
![Page 92: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/92.jpg)
EJEMPLO 2
![Page 93: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/93.jpg)
DATALOG (PYTHON)
●
●
●
![Page 94: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/94.jpg)
DATALOG (PYTHON)
![Page 95: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/95.jpg)
GÖDEL (programming language)
●
●●
●●
●Kurt Gödel
![Page 96: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/96.jpg)
GÖDEL (programming language)
![Page 97: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/97.jpg)
APLICACIONES DE LA PROGRAMACIÓN LÓGICA
06
![Page 98: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/98.jpg)
APLICACIONES
![Page 99: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/99.jpg)
SlidesgoFlaticon Freepik
Please keep this slide for attribution.
GRACIAS!
![Page 100: PROGRAMACIÓN LÓGICA - GitHub Pages€¦ · paradigmas de programaciÓn paradigma de programacion logica 01 03 02 05 06 conceptos claves lenguajes de programaciÓn lÓgica aplicaciones](https://reader035.vdocuments.site/reader035/viewer/2022062507/5fd8c712b249b1461e0fca0e/html5/thumbnails/100.jpg)
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)