SlideShare une entreprise Scribd logo
1  sur  9
TUTORIALES DE
      PROLOG
        MIGUEL MENDEZ
PROLOG

Como shell para la programación de Sistemas Expertos Basados en Reglas, PROLOG usa Lógica de Predicados de Primer
Orden (restringida a cláusulas de Horn) para representar datos y conocimiento, utiliza encadenamiento hacia atrás y una
estrategia de control retroactiva sin información heurística (backtracking).

Elementos del lenguaje
- Hechos (átomos).
- Reglas (cláusulas de Horn).
- Preguntas u objetivos (conjunciones ó disyunciones de átomos).
SÍMBOLOS DEL LENGUAJE

 • Caracteres
 • - Alfanuméricos: A..Z a..z 0..9
 • - Especiales: + - * / <> = :- &
HECHOS

• Átomos en Lógica de Predicados.
• No se permiten disyunciones.
• Los nombres de los predicados empiezan con minúscula.
• El hecho debe terminar con un punto.
• Lógica de Predicados PROLOG esHombre(Juan) eshombre(juan). gusta(Pedro,Calabaza)
  gusta(pedro,calabaza). esHombre(Pedro) ∧ esHombre(Juan) esHombre(pedro). esHombre(juan).
  esHombre(Pedro) ∨ esPerro(boby) /* No puede representarse */∃x quiere(Juan,x) ∧ ∃z quiere(Juan,z)
  quiere(juan,alguien1). quiere(juan,alguien2).
Especifique los siguientes hechos en PROLOG:
- “Todos quieren a Juan y a María”.
∀x (quiere(x,juan) ∧ quiere(x,maria))
quiere(_ , juan).
quiere(_ , maria).
- “Alguien quiere a Juan y a María”.
∃x (quiere(x,juan) ∧ quiere(x,maria))
quiere(alguien , juan).
quiere(alguien , maria).

Supongamos únicamente el siguiente hecho: gusta(juan,_).
¿Cómo se especificarían en PROLOG las siguientes consultas?
- ¿Le gusta algo a Juan?
?- gusta(juan,_).
yes
- ¿Le gustan a Juan las almendras?
?- gusta(juan,almendras).
yes
- ¿Qué es lo que le gusta a Juan?
?- gusta(juan,X).
X=_3456; /* Lo interpretamos como “todo” */
no
Suponiendo los siguientes hechos:
esPadre(juan,pedro).
esPadre('Dios',_).
?- esPadre(X,pedro).
X=juan;
X='Dios';
no
?- esPadre(_,pedro).
yes
?- esPadre(X,_).
X=juan;
X='Dios';
no
?- esPadre(_,_).
yes
?- esPadre(_,X).
X=pedro;
X=_2567;
no
?- esPadre(X,Y).
X=juan , Y=pedro;
X='Dios' , Y=_2567;
no
?- esPadre(personaInexistente,X). no
PRIMER PROGRAMA EN PROLOG

                            PARA PODER PROGRAMAR
                            PARA PROLOG, BASTA NO MAS
                            CON UTILIZAR UN EDITOR DE
                            TEXTOS CUALQUIERA Y
                            GUARDAR EL ARCHIVO CON LA
                            EXTENCION .pl
COMPILANDO EL PROGRAMA
                         Una vez escrito el programa en un
                         editor de texto, debemos compilar
                         el código, para ello abrimos la
                         interface de Prolog y allí
                         indicamos la ruta de nuestro
                         archivo con extensión .pl y damos
                         click en Run.
VISTA DEL PROGRAMA COMPILADO Y
EJECUTADO

Contenu connexe

En vedette (8)

Programación en Prolog para Inteligencia Artificial
Programación en Prolog para Inteligencia ArtificialProgramación en Prolog para Inteligencia Artificial
Programación en Prolog para Inteligencia Artificial
 
Prolog ejercicios resueltos
Prolog ejercicios resueltosProlog ejercicios resueltos
Prolog ejercicios resueltos
 
El lenguaje de programaciã³n prolog jaume i castellã³n
El lenguaje de programaciã³n prolog   jaume i castellã³nEl lenguaje de programaciã³n prolog   jaume i castellã³n
El lenguaje de programaciã³n prolog jaume i castellã³n
 
Prolog 2011 2
Prolog 2011 2Prolog 2011 2
Prolog 2011 2
 
Practicas prolog2011 listas
Practicas prolog2011 listasPracticas prolog2011 listas
Practicas prolog2011 listas
 
Programación Lógica con PROLOG
Programación Lógica con PROLOGProgramación Lógica con PROLOG
Programación Lógica con PROLOG
 
Ejercicios en prolog
Ejercicios en prologEjercicios en prolog
Ejercicios en prolog
 
Sotfware de Programacion Lógica - CLIPS, PROLOG, LISP
Sotfware de Programacion Lógica - CLIPS, PROLOG, LISPSotfware de Programacion Lógica - CLIPS, PROLOG, LISP
Sotfware de Programacion Lógica - CLIPS, PROLOG, LISP
 

Similaire à Tutoriales de prolog (20)

Prolog2010
Prolog2010Prolog2010
Prolog2010
 
Jflambert lyada -ayudantia 1 prolog
Jflambert   lyada -ayudantia 1 prologJflambert   lyada -ayudantia 1 prolog
Jflambert lyada -ayudantia 1 prolog
 
Clase de logica posbc
Clase de logica posbcClase de logica posbc
Clase de logica posbc
 
Prolog
PrologProlog
Prolog
 
P r-o-l-o-g-practica01-1204602281352947-2
P r-o-l-o-g-practica01-1204602281352947-2P r-o-l-o-g-practica01-1204602281352947-2
P r-o-l-o-g-practica01-1204602281352947-2
 
Semana 6 Módulos en Python Entrega 2
Semana 6   Módulos en Python Entrega 2Semana 6   Módulos en Python Entrega 2
Semana 6 Módulos en Python Entrega 2
 
Tema1
Tema1Tema1
Tema1
 
Introduccion a prolog
Introduccion a prologIntroduccion a prolog
Introduccion a prolog
 
4ta tarea de sistemas expertos
4ta tarea de sistemas expertos4ta tarea de sistemas expertos
4ta tarea de sistemas expertos
 
Prolog
Prolog Prolog
Prolog
 
Apuntes De PROGRAMACI N EN PROLOG
Apuntes De PROGRAMACI N EN PROLOGApuntes De PROGRAMACI N EN PROLOG
Apuntes De PROGRAMACI N EN PROLOG
 
Manual lab prolog
Manual lab prologManual lab prolog
Manual lab prolog
 
4ta tarea de sistemas expertos
4ta tarea de sistemas expertos4ta tarea de sistemas expertos
4ta tarea de sistemas expertos
 
Estructura
Estructura Estructura
Estructura
 
Manual de Prolog
Manual de PrologManual de Prolog
Manual de Prolog
 
Introduccion a la programacion
Introduccion a la programacionIntroduccion a la programacion
Introduccion a la programacion
 
Prolog
PrologProlog
Prolog
 
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
 
Grupo 6 turbopascal apesteguia (1)
Grupo 6 turbopascal apesteguia (1)Grupo 6 turbopascal apesteguia (1)
Grupo 6 turbopascal apesteguia (1)
 
Introduccion a prolog
Introduccion a prologIntroduccion a prolog
Introduccion a prolog
 

Dernier

redes informaticas en una oficina administrativa
redes informaticas en una oficina administrativaredes informaticas en una oficina administrativa
redes informaticas en una oficina administrativanicho110
 
Avances tecnológicos del siglo XXI y ejemplos de estos
Avances tecnológicos del siglo XXI y ejemplos de estosAvances tecnológicos del siglo XXI y ejemplos de estos
Avances tecnológicos del siglo XXI y ejemplos de estossgonzalezp1
 
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptxPROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptxAlan779941
 
investigación de los Avances tecnológicos del siglo XXI
investigación de los Avances tecnológicos del siglo XXIinvestigación de los Avances tecnológicos del siglo XXI
investigación de los Avances tecnológicos del siglo XXIhmpuellon
 
Guia Basica para bachillerato de Circuitos Basicos
Guia Basica para bachillerato de Circuitos BasicosGuia Basica para bachillerato de Circuitos Basicos
Guia Basica para bachillerato de Circuitos BasicosJhonJairoRodriguezCe
 
Innovaciones tecnologicas en el siglo 21
Innovaciones tecnologicas en el siglo 21Innovaciones tecnologicas en el siglo 21
Innovaciones tecnologicas en el siglo 21mariacbr99
 
EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptx
EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptxEVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptx
EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptxJorgeParada26
 
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...JohnRamos830530
 
Avances tecnológicos del siglo XXI 10-07 eyvana
Avances tecnológicos del siglo XXI 10-07 eyvanaAvances tecnológicos del siglo XXI 10-07 eyvana
Avances tecnológicos del siglo XXI 10-07 eyvanamcerpam
 
Buenos_Aires_Meetup_Redis_20240430_.pptx
Buenos_Aires_Meetup_Redis_20240430_.pptxBuenos_Aires_Meetup_Redis_20240430_.pptx
Buenos_Aires_Meetup_Redis_20240430_.pptxFederico Castellari
 
How to use Redis with MuleSoft. A quick start presentation.
How to use Redis with MuleSoft. A quick start presentation.How to use Redis with MuleSoft. A quick start presentation.
How to use Redis with MuleSoft. A quick start presentation.FlorenciaCattelani
 

Dernier (11)

redes informaticas en una oficina administrativa
redes informaticas en una oficina administrativaredes informaticas en una oficina administrativa
redes informaticas en una oficina administrativa
 
Avances tecnológicos del siglo XXI y ejemplos de estos
Avances tecnológicos del siglo XXI y ejemplos de estosAvances tecnológicos del siglo XXI y ejemplos de estos
Avances tecnológicos del siglo XXI y ejemplos de estos
 
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptxPROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
PROYECTO FINAL. Tutorial para publicar en SlideShare.pptx
 
investigación de los Avances tecnológicos del siglo XXI
investigación de los Avances tecnológicos del siglo XXIinvestigación de los Avances tecnológicos del siglo XXI
investigación de los Avances tecnológicos del siglo XXI
 
Guia Basica para bachillerato de Circuitos Basicos
Guia Basica para bachillerato de Circuitos BasicosGuia Basica para bachillerato de Circuitos Basicos
Guia Basica para bachillerato de Circuitos Basicos
 
Innovaciones tecnologicas en el siglo 21
Innovaciones tecnologicas en el siglo 21Innovaciones tecnologicas en el siglo 21
Innovaciones tecnologicas en el siglo 21
 
EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptx
EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptxEVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptx
EVOLUCION DE LA TECNOLOGIA Y SUS ASPECTOSpptx
 
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
Resistencia extrema al cobre por un consorcio bacteriano conformado por Sulfo...
 
Avances tecnológicos del siglo XXI 10-07 eyvana
Avances tecnológicos del siglo XXI 10-07 eyvanaAvances tecnológicos del siglo XXI 10-07 eyvana
Avances tecnológicos del siglo XXI 10-07 eyvana
 
Buenos_Aires_Meetup_Redis_20240430_.pptx
Buenos_Aires_Meetup_Redis_20240430_.pptxBuenos_Aires_Meetup_Redis_20240430_.pptx
Buenos_Aires_Meetup_Redis_20240430_.pptx
 
How to use Redis with MuleSoft. A quick start presentation.
How to use Redis with MuleSoft. A quick start presentation.How to use Redis with MuleSoft. A quick start presentation.
How to use Redis with MuleSoft. A quick start presentation.
 

Tutoriales de prolog

  • 1. TUTORIALES DE PROLOG MIGUEL MENDEZ
  • 2. PROLOG Como shell para la programación de Sistemas Expertos Basados en Reglas, PROLOG usa Lógica de Predicados de Primer Orden (restringida a cláusulas de Horn) para representar datos y conocimiento, utiliza encadenamiento hacia atrás y una estrategia de control retroactiva sin información heurística (backtracking). Elementos del lenguaje - Hechos (átomos). - Reglas (cláusulas de Horn). - Preguntas u objetivos (conjunciones ó disyunciones de átomos).
  • 3. SÍMBOLOS DEL LENGUAJE • Caracteres • - Alfanuméricos: A..Z a..z 0..9 • - Especiales: + - * / <> = :- &
  • 4. HECHOS • Átomos en Lógica de Predicados. • No se permiten disyunciones. • Los nombres de los predicados empiezan con minúscula. • El hecho debe terminar con un punto. • Lógica de Predicados PROLOG esHombre(Juan) eshombre(juan). gusta(Pedro,Calabaza) gusta(pedro,calabaza). esHombre(Pedro) ∧ esHombre(Juan) esHombre(pedro). esHombre(juan). esHombre(Pedro) ∨ esPerro(boby) /* No puede representarse */∃x quiere(Juan,x) ∧ ∃z quiere(Juan,z) quiere(juan,alguien1). quiere(juan,alguien2).
  • 5. Especifique los siguientes hechos en PROLOG: - “Todos quieren a Juan y a María”. ∀x (quiere(x,juan) ∧ quiere(x,maria)) quiere(_ , juan). quiere(_ , maria). - “Alguien quiere a Juan y a María”. ∃x (quiere(x,juan) ∧ quiere(x,maria)) quiere(alguien , juan). quiere(alguien , maria). Supongamos únicamente el siguiente hecho: gusta(juan,_). ¿Cómo se especificarían en PROLOG las siguientes consultas? - ¿Le gusta algo a Juan? ?- gusta(juan,_). yes - ¿Le gustan a Juan las almendras? ?- gusta(juan,almendras). yes - ¿Qué es lo que le gusta a Juan? ?- gusta(juan,X). X=_3456; /* Lo interpretamos como “todo” */ no
  • 6. Suponiendo los siguientes hechos: esPadre(juan,pedro). esPadre('Dios',_). ?- esPadre(X,pedro). X=juan; X='Dios'; no ?- esPadre(_,pedro). yes ?- esPadre(X,_). X=juan; X='Dios'; no ?- esPadre(_,_). yes ?- esPadre(_,X). X=pedro; X=_2567; no ?- esPadre(X,Y). X=juan , Y=pedro; X='Dios' , Y=_2567; no ?- esPadre(personaInexistente,X). no
  • 7. PRIMER PROGRAMA EN PROLOG PARA PODER PROGRAMAR PARA PROLOG, BASTA NO MAS CON UTILIZAR UN EDITOR DE TEXTOS CUALQUIERA Y GUARDAR EL ARCHIVO CON LA EXTENCION .pl
  • 8. COMPILANDO EL PROGRAMA Una vez escrito el programa en un editor de texto, debemos compilar el código, para ello abrimos la interface de Prolog y allí indicamos la ruta de nuestro archivo con extensión .pl y damos click en Run.
  • 9. VISTA DEL PROGRAMA COMPILADO Y EJECUTADO