SlideShare una empresa de Scribd logo
La programación lógica es un
paradigma de la programación
declarativa basada en L.P.P.O, o
lógica de predicados.
• Lógica de predicados de primer orden (
L.P.P.O ).
• Tipos abstractos de datos ( arboles y listas).
• Técnicas de programación (Recursividad) .
Lo que el programador necesita
conocer
Sintaxis
 Hechos (Base de datos con predicados.
Ejemplo: gato(tom) ).
 Reglas ( Predicados en forma de:
Consecuente:- Antecedente. Ejemplo:
gato(tom) :- true ).
 Preguntas ( Consultas. Ejemplo: ?-
gato(tom) ).
(Wiki: Prolog . 2017. Wikimedia)
https://es.wikipedia.org/wiki/Prolog
http://www.gedlc.ulpgc.es/docencia/lp/document
acion/GB_Prolog.pdf
( Video: Agosto. 2016. Giardina )
https://www.youtube.com/watch?v=q1WRh0CNPIg
(Artículo: Docencia. Documentación. González)
Programación Lógica by Lisbeth Flores is licensed
under a Creative Commons Reconocimiento-
CompartirIgual 4.0 Internacional License.
Colmerauer, Alain; Roussel, P. ( 1992). La naissance de prolog .
Disponible: http//:www. https://es.wikipedia.org/wiki/Prolog
[Editado por última vez el 19 ene 2017 a las 15:27].
Giardina, D. (2016). Lógica de programación (Aprendiendo a pensar).
Disponible: http//:www. https://www.youtube.com/watch?v=q1WRh0CNPIg
[Consulta: 2016, Junio 21].
González , A. Guía Básica de Prolog.
Disponible:
http://www.gedlc.ulpgc.es/docencia/lp/documentacion/GB_Prolog.pdf
UFT. (2016 ). Normas para la elaboración y presentación de trabajos de
investigación. [Documento en línea].
Disponible: http://www.uft.edu.ve/descargas/normas_t_grado2016.pdf

Más contenido relacionado

Similar a La programacion logica

Python y la POO, en una clase, UNNe-Corrientes
Python y la POO, en una clase, UNNe-CorrientesPython y la POO, en una clase, UNNe-Corrientes
Python y la POO, en una clase, UNNe-Corrientes
alexis ibarra
 
Gestión y Análisis de Datos para las Ciencias Económicas con Python y R
Gestión y Análisis de Datos para las Ciencias Económicas con Python y RGestión y Análisis de Datos para las Ciencias Económicas con Python y R
Gestión y Análisis de Datos para las Ciencias Económicas con Python y R
Francisco Palm
 
Intro python
Intro pythonIntro python
Intro python
Frank Cepeda
 
Intro python
Intro pythonIntro python
Pac plagi cast
Pac plagi castPac plagi cast
Pac plagi cast
sdocencia
 
Transparencias taller Python
Transparencias taller PythonTransparencias taller Python
Transparencias taller Python
Sergio Soto
 
Alfonso Muñoz – Ocultación de comunicaciones en lenguaje natural [Rooted CON ...
Alfonso Muñoz – Ocultación de comunicaciones en lenguaje natural [Rooted CON ...Alfonso Muñoz – Ocultación de comunicaciones en lenguaje natural [Rooted CON ...
Alfonso Muñoz – Ocultación de comunicaciones en lenguaje natural [Rooted CON ...
RootedCON
 
Curso r.diaz-uriarte
Curso r.diaz-uriarteCurso r.diaz-uriarte
Curso r.diaz-uriarte
ESPE
 
Introducción a la programación en bioinformática
Introducción a la programación en bioinformáticaIntroducción a la programación en bioinformática
Introducción a la programación en bioinformática
Hernán Morales Durand
 
Clase 2 - Introducción a la programación con Python I.pptx
Clase 2 - Introducción a la programación con Python I.pptxClase 2 - Introducción a la programación con Python I.pptx
Clase 2 - Introducción a la programación con Python I.pptx
jgs07
 
python programming learning
python programming learningpython programming learning
python programming learning
m0n0lithic
 
EPrints: software para el desarrollo y gestión de repositorios digitales
EPrints: software para el desarrollo y gestión de repositorios digitalesEPrints: software para el desarrollo y gestión de repositorios digitales
EPrints: software para el desarrollo y gestión de repositorios digitales
SocialBiblio
 
Programacion de algoritmos
Programacion de algoritmosProgramacion de algoritmos
Programacion de algoritmos
Videoconferencias UTPL
 
1poo
1poo1poo
Python para ingenieros civiles.pdf
Python para ingenieros civiles.pdfPython para ingenieros civiles.pdf
Python para ingenieros civiles.pdf
MiguelLuque15
 
Linked data con R
Linked data con RLinked data con R
Linked data con R
Mariano Rico
 
POO Programación Orientada a Objeto(s)
POO Programación Orientada a Objeto(s)POO Programación Orientada a Objeto(s)
POO Programación Orientada a Objeto(s)
Cambiar una estructura
 
Prolog
PrologProlog
ESTADISTICA-PROYECTO FINAL.pdf
ESTADISTICA-PROYECTO FINAL.pdfESTADISTICA-PROYECTO FINAL.pdf
ESTADISTICA-PROYECTO FINAL.pdf
DavidUmboFernandez
 
Temario programacion estructuras_de_datos_y_algoritmos_2013
Temario programacion estructuras_de_datos_y_algoritmos_2013Temario programacion estructuras_de_datos_y_algoritmos_2013
Temario programacion estructuras_de_datos_y_algoritmos_2013
Aem Fmed
 

Similar a La programacion logica (20)

Python y la POO, en una clase, UNNe-Corrientes
Python y la POO, en una clase, UNNe-CorrientesPython y la POO, en una clase, UNNe-Corrientes
Python y la POO, en una clase, UNNe-Corrientes
 
Gestión y Análisis de Datos para las Ciencias Económicas con Python y R
Gestión y Análisis de Datos para las Ciencias Económicas con Python y RGestión y Análisis de Datos para las Ciencias Económicas con Python y R
Gestión y Análisis de Datos para las Ciencias Económicas con Python y R
 
Intro python
Intro pythonIntro python
Intro python
 
Intro python
Intro pythonIntro python
Intro python
 
Pac plagi cast
Pac plagi castPac plagi cast
Pac plagi cast
 
Transparencias taller Python
Transparencias taller PythonTransparencias taller Python
Transparencias taller Python
 
Alfonso Muñoz – Ocultación de comunicaciones en lenguaje natural [Rooted CON ...
Alfonso Muñoz – Ocultación de comunicaciones en lenguaje natural [Rooted CON ...Alfonso Muñoz – Ocultación de comunicaciones en lenguaje natural [Rooted CON ...
Alfonso Muñoz – Ocultación de comunicaciones en lenguaje natural [Rooted CON ...
 
Curso r.diaz-uriarte
Curso r.diaz-uriarteCurso r.diaz-uriarte
Curso r.diaz-uriarte
 
Introducción a la programación en bioinformática
Introducción a la programación en bioinformáticaIntroducción a la programación en bioinformática
Introducción a la programación en bioinformática
 
Clase 2 - Introducción a la programación con Python I.pptx
Clase 2 - Introducción a la programación con Python I.pptxClase 2 - Introducción a la programación con Python I.pptx
Clase 2 - Introducción a la programación con Python I.pptx
 
python programming learning
python programming learningpython programming learning
python programming learning
 
EPrints: software para el desarrollo y gestión de repositorios digitales
EPrints: software para el desarrollo y gestión de repositorios digitalesEPrints: software para el desarrollo y gestión de repositorios digitales
EPrints: software para el desarrollo y gestión de repositorios digitales
 
Programacion de algoritmos
Programacion de algoritmosProgramacion de algoritmos
Programacion de algoritmos
 
1poo
1poo1poo
1poo
 
Python para ingenieros civiles.pdf
Python para ingenieros civiles.pdfPython para ingenieros civiles.pdf
Python para ingenieros civiles.pdf
 
Linked data con R
Linked data con RLinked data con R
Linked data con R
 
POO Programación Orientada a Objeto(s)
POO Programación Orientada a Objeto(s)POO Programación Orientada a Objeto(s)
POO Programación Orientada a Objeto(s)
 
Prolog
PrologProlog
Prolog
 
ESTADISTICA-PROYECTO FINAL.pdf
ESTADISTICA-PROYECTO FINAL.pdfESTADISTICA-PROYECTO FINAL.pdf
ESTADISTICA-PROYECTO FINAL.pdf
 
Temario programacion estructuras_de_datos_y_algoritmos_2013
Temario programacion estructuras_de_datos_y_algoritmos_2013Temario programacion estructuras_de_datos_y_algoritmos_2013
Temario programacion estructuras_de_datos_y_algoritmos_2013
 

Más de Universidad Yacambú

La programacion logica
La programacion logicaLa programacion logica
La programacion logica
Universidad Yacambú
 
Orden factores definitivo
Orden factores definitivoOrden factores definitivo
Orden factores definitivo
Universidad Yacambú
 
Orden factores definitivo
Orden factores definitivoOrden factores definitivo
Orden factores definitivo
Universidad Yacambú
 
Orden factores
Orden factoresOrden factores
Orden factores
Universidad Yacambú
 
Evaluacion web
Evaluacion webEvaluacion web
Evaluacion web
Universidad Yacambú
 
Evaluacion web
Evaluacion webEvaluacion web
Evaluacion web
Universidad Yacambú
 
Evaluacion web
Evaluacion webEvaluacion web
Evaluacion web
Universidad Yacambú
 
Evaluacion web
Evaluacion webEvaluacion web
Evaluacion web
Universidad Yacambú
 

Más de Universidad Yacambú (8)

La programacion logica
La programacion logicaLa programacion logica
La programacion logica
 
Orden factores definitivo
Orden factores definitivoOrden factores definitivo
Orden factores definitivo
 
Orden factores definitivo
Orden factores definitivoOrden factores definitivo
Orden factores definitivo
 
Orden factores
Orden factoresOrden factores
Orden factores
 
Evaluacion web
Evaluacion webEvaluacion web
Evaluacion web
 
Evaluacion web
Evaluacion webEvaluacion web
Evaluacion web
 
Evaluacion web
Evaluacion webEvaluacion web
Evaluacion web
 
Evaluacion web
Evaluacion webEvaluacion web
Evaluacion web
 

Último

200. Efemerides junio para trabajar en periodico mural
200. Efemerides junio para trabajar en periodico mural200. Efemerides junio para trabajar en periodico mural
200. Efemerides junio para trabajar en periodico mural
shirherrer
 
Guia para Docentes como usar ChatGPT Mineduc Ccesa007.pdf
Guia para Docentes como usar ChatGPT  Mineduc Ccesa007.pdfGuia para Docentes como usar ChatGPT  Mineduc Ccesa007.pdf
Guia para Docentes como usar ChatGPT Mineduc Ccesa007.pdf
Demetrio Ccesa Rayme
 
Hablemos de ESI para estudiantes Cuadernillo
Hablemos de ESI para estudiantes CuadernilloHablemos de ESI para estudiantes Cuadernillo
Hablemos de ESI para estudiantes Cuadernillo
Mónica Sánchez
 
PPT_Servicio de Bandeja a Paciente Hospitalizado.pptx
PPT_Servicio de Bandeja a Paciente Hospitalizado.pptxPPT_Servicio de Bandeja a Paciente Hospitalizado.pptx
PPT_Servicio de Bandeja a Paciente Hospitalizado.pptx
gamcoaquera
 
pueblos originarios de chile presentacion twinkl.pptx
pueblos originarios de chile presentacion twinkl.pptxpueblos originarios de chile presentacion twinkl.pptx
pueblos originarios de chile presentacion twinkl.pptx
RAMIREZNICOLE
 
Respuesta del icfes pre saber verificadas
Respuesta del icfes pre saber verificadasRespuesta del icfes pre saber verificadas
Respuesta del icfes pre saber verificadas
KarenCaicedo28
 
Lecciones 10 Esc. Sabática. El espiritismo desenmascarado docx
Lecciones 10 Esc. Sabática. El espiritismo desenmascarado docxLecciones 10 Esc. Sabática. El espiritismo desenmascarado docx
Lecciones 10 Esc. Sabática. El espiritismo desenmascarado docx
Alejandrino Halire Ccahuana
 
Liturgia día del Padre del siguiente domingo.pptx
Liturgia día del Padre del siguiente domingo.pptxLiturgia día del Padre del siguiente domingo.pptx
Liturgia día del Padre del siguiente domingo.pptx
YeniferGarcia36
 
Mundo ABC Examen 1 Grado- Tercer Trimestre.pdf
Mundo ABC Examen 1 Grado- Tercer Trimestre.pdfMundo ABC Examen 1 Grado- Tercer Trimestre.pdf
Mundo ABC Examen 1 Grado- Tercer Trimestre.pdf
ViriEsteva
 
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI UNESCO Ccesa007.pdf
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI  UNESCO Ccesa007.pdfLas Tecnologias Digitales en los Aprendizajesdel Siglo XXI  UNESCO Ccesa007.pdf
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI UNESCO Ccesa007.pdf
Demetrio Ccesa Rayme
 
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdfFEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
Jose Luis Jimenez Rodriguez
 
RETROALIMENTACIÓN PARA EL EXAMEN ÚNICO AUXILIAR DE ENFERMERIA.docx
RETROALIMENTACIÓN PARA EL EXAMEN ÚNICO AUXILIAR DE ENFERMERIA.docxRETROALIMENTACIÓN PARA EL EXAMEN ÚNICO AUXILIAR DE ENFERMERIA.docx
RETROALIMENTACIÓN PARA EL EXAMEN ÚNICO AUXILIAR DE ENFERMERIA.docx
100078171
 
Manual de procedimiento para gráficos HC
Manual de procedimiento para gráficos HCManual de procedimiento para gráficos HC
Manual de procedimiento para gráficos HC
josseanlo1581
 
Examen de la EvAU 2024 en Navarra Latín.
Examen de la EvAU 2024 en Navarra Latín.Examen de la EvAU 2024 en Navarra Latín.
Examen de la EvAU 2024 en Navarra Latín.
amayaltc18
 
CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZACORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
Sandra Mariela Ballón Aguedo
 
p4s.co Ecosistema de Ecosistemas - Diagrama.pdf
p4s.co Ecosistema de Ecosistemas - Diagrama.pdfp4s.co Ecosistema de Ecosistemas - Diagrama.pdf
p4s.co Ecosistema de Ecosistemas - Diagrama.pdf
DavidCamiloMosquera
 
Power Point: El espiritismo desenmascarado
Power Point: El espiritismo desenmascaradoPower Point: El espiritismo desenmascarado
Power Point: El espiritismo desenmascarado
https://gramadal.wordpress.com/
 
Libro Integrado 8vo egb len-mat-ccnn-eess
Libro Integrado 8vo egb len-mat-ccnn-eessLibro Integrado 8vo egb len-mat-ccnn-eess
Libro Integrado 8vo egb len-mat-ccnn-eess
maxgamesofficial15
 
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIACONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
ginnazamudio
 
Guia Practica de ChatGPT para Docentes Ccesa007.pdf
Guia Practica de ChatGPT para Docentes Ccesa007.pdfGuia Practica de ChatGPT para Docentes Ccesa007.pdf
Guia Practica de ChatGPT para Docentes Ccesa007.pdf
Demetrio Ccesa Rayme
 

Último (20)

200. Efemerides junio para trabajar en periodico mural
200. Efemerides junio para trabajar en periodico mural200. Efemerides junio para trabajar en periodico mural
200. Efemerides junio para trabajar en periodico mural
 
Guia para Docentes como usar ChatGPT Mineduc Ccesa007.pdf
Guia para Docentes como usar ChatGPT  Mineduc Ccesa007.pdfGuia para Docentes como usar ChatGPT  Mineduc Ccesa007.pdf
Guia para Docentes como usar ChatGPT Mineduc Ccesa007.pdf
 
Hablemos de ESI para estudiantes Cuadernillo
Hablemos de ESI para estudiantes CuadernilloHablemos de ESI para estudiantes Cuadernillo
Hablemos de ESI para estudiantes Cuadernillo
 
PPT_Servicio de Bandeja a Paciente Hospitalizado.pptx
PPT_Servicio de Bandeja a Paciente Hospitalizado.pptxPPT_Servicio de Bandeja a Paciente Hospitalizado.pptx
PPT_Servicio de Bandeja a Paciente Hospitalizado.pptx
 
pueblos originarios de chile presentacion twinkl.pptx
pueblos originarios de chile presentacion twinkl.pptxpueblos originarios de chile presentacion twinkl.pptx
pueblos originarios de chile presentacion twinkl.pptx
 
Respuesta del icfes pre saber verificadas
Respuesta del icfes pre saber verificadasRespuesta del icfes pre saber verificadas
Respuesta del icfes pre saber verificadas
 
Lecciones 10 Esc. Sabática. El espiritismo desenmascarado docx
Lecciones 10 Esc. Sabática. El espiritismo desenmascarado docxLecciones 10 Esc. Sabática. El espiritismo desenmascarado docx
Lecciones 10 Esc. Sabática. El espiritismo desenmascarado docx
 
Liturgia día del Padre del siguiente domingo.pptx
Liturgia día del Padre del siguiente domingo.pptxLiturgia día del Padre del siguiente domingo.pptx
Liturgia día del Padre del siguiente domingo.pptx
 
Mundo ABC Examen 1 Grado- Tercer Trimestre.pdf
Mundo ABC Examen 1 Grado- Tercer Trimestre.pdfMundo ABC Examen 1 Grado- Tercer Trimestre.pdf
Mundo ABC Examen 1 Grado- Tercer Trimestre.pdf
 
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI UNESCO Ccesa007.pdf
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI  UNESCO Ccesa007.pdfLas Tecnologias Digitales en los Aprendizajesdel Siglo XXI  UNESCO Ccesa007.pdf
Las Tecnologias Digitales en los Aprendizajesdel Siglo XXI UNESCO Ccesa007.pdf
 
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdfFEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
FEEDBACK DE LA ESTRUCTURA CURRICULAR- 2024.pdf
 
RETROALIMENTACIÓN PARA EL EXAMEN ÚNICO AUXILIAR DE ENFERMERIA.docx
RETROALIMENTACIÓN PARA EL EXAMEN ÚNICO AUXILIAR DE ENFERMERIA.docxRETROALIMENTACIÓN PARA EL EXAMEN ÚNICO AUXILIAR DE ENFERMERIA.docx
RETROALIMENTACIÓN PARA EL EXAMEN ÚNICO AUXILIAR DE ENFERMERIA.docx
 
Manual de procedimiento para gráficos HC
Manual de procedimiento para gráficos HCManual de procedimiento para gráficos HC
Manual de procedimiento para gráficos HC
 
Examen de la EvAU 2024 en Navarra Latín.
Examen de la EvAU 2024 en Navarra Latín.Examen de la EvAU 2024 en Navarra Latín.
Examen de la EvAU 2024 en Navarra Latín.
 
CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZACORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
CORREOS SEGUNDO 2024 HONORIO DELGADO ESPINOZA
 
p4s.co Ecosistema de Ecosistemas - Diagrama.pdf
p4s.co Ecosistema de Ecosistemas - Diagrama.pdfp4s.co Ecosistema de Ecosistemas - Diagrama.pdf
p4s.co Ecosistema de Ecosistemas - Diagrama.pdf
 
Power Point: El espiritismo desenmascarado
Power Point: El espiritismo desenmascaradoPower Point: El espiritismo desenmascarado
Power Point: El espiritismo desenmascarado
 
Libro Integrado 8vo egb len-mat-ccnn-eess
Libro Integrado 8vo egb len-mat-ccnn-eessLibro Integrado 8vo egb len-mat-ccnn-eess
Libro Integrado 8vo egb len-mat-ccnn-eess
 
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIACONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
CONTENIDOS Y PDA DE LA FASE 3,4 Y 5 EN NIVEL PRIMARIA
 
Guia Practica de ChatGPT para Docentes Ccesa007.pdf
Guia Practica de ChatGPT para Docentes Ccesa007.pdfGuia Practica de ChatGPT para Docentes Ccesa007.pdf
Guia Practica de ChatGPT para Docentes Ccesa007.pdf
 

La programacion logica

  • 1. La programación lógica es un paradigma de la programación declarativa basada en L.P.P.O, o lógica de predicados. • Lógica de predicados de primer orden ( L.P.P.O ). • Tipos abstractos de datos ( arboles y listas). • Técnicas de programación (Recursividad) . Lo que el programador necesita conocer Sintaxis  Hechos (Base de datos con predicados. Ejemplo: gato(tom) ).  Reglas ( Predicados en forma de: Consecuente:- Antecedente. Ejemplo: gato(tom) :- true ).  Preguntas ( Consultas. Ejemplo: ?- gato(tom) ). (Wiki: Prolog . 2017. Wikimedia) https://es.wikipedia.org/wiki/Prolog http://www.gedlc.ulpgc.es/docencia/lp/document acion/GB_Prolog.pdf ( Video: Agosto. 2016. Giardina ) https://www.youtube.com/watch?v=q1WRh0CNPIg (Artículo: Docencia. Documentación. González) Programación Lógica by Lisbeth Flores is licensed under a Creative Commons Reconocimiento- CompartirIgual 4.0 Internacional License.
  • 2. Colmerauer, Alain; Roussel, P. ( 1992). La naissance de prolog . Disponible: http//:www. https://es.wikipedia.org/wiki/Prolog [Editado por última vez el 19 ene 2017 a las 15:27]. Giardina, D. (2016). Lógica de programación (Aprendiendo a pensar). Disponible: http//:www. https://www.youtube.com/watch?v=q1WRh0CNPIg [Consulta: 2016, Junio 21]. González , A. Guía Básica de Prolog. Disponible: http://www.gedlc.ulpgc.es/docencia/lp/documentacion/GB_Prolog.pdf UFT. (2016 ). Normas para la elaboración y presentación de trabajos de investigación. [Documento en línea]. Disponible: http://www.uft.edu.ve/descargas/normas_t_grado2016.pdf