SlideShare uma empresa Scribd logo
1 de 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

Mais conteúdo relacionado

Destaque (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
 

Semelhante a Tutoriales de 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
kyoko Chan
 
4ta tarea de sistemas expertos
4ta tarea de sistemas expertos4ta tarea de sistemas expertos
4ta tarea de sistemas expertos
ynina
 
4ta tarea de sistemas expertos
4ta tarea de sistemas expertos4ta tarea de sistemas expertos
4ta tarea de sistemas expertos
medinayanina
 
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
 

Semelhante a 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
 

Último

redes informaticas en una oficina administrativa
redes informaticas en una oficina administrativaredes informaticas en una oficina administrativa
redes informaticas en una oficina administrativa
nicho110
 

Último (12)

pruebas unitarias unitarias en java con JUNIT
pruebas unitarias unitarias en java con JUNITpruebas unitarias unitarias en java con JUNIT
pruebas unitarias unitarias en java con JUNIT
 
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...
 
EL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptx
EL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptxEL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.pptx
EL CICLO PRÁCTICO DE UN MOTOR DE CUATRO TIEMPOS.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.
 
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
 
Buenos_Aires_Meetup_Redis_20240430_.pptx
Buenos_Aires_Meetup_Redis_20240430_.pptxBuenos_Aires_Meetup_Redis_20240430_.pptx
Buenos_Aires_Meetup_Redis_20240430_.pptx
 
Innovaciones tecnologicas en el siglo 21
Innovaciones tecnologicas en el siglo 21Innovaciones tecnologicas en el siglo 21
Innovaciones tecnologicas en el siglo 21
 
redes informaticas en una oficina administrativa
redes informaticas en una oficina administrativaredes informaticas en una oficina administrativa
redes informaticas en una oficina administrativa
 
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
 
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
 
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
 
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
 

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