Tutoriales de prolog
Descargar como PPTX, PDF0 recomendaciones543 vistas
Este documento describe los elementos básicos del lenguaje de programación lógica Prolog, incluyendo hechos, reglas, símbolos y cómo especificar consultas y hechos en Prolog usando lógica de predicados de primer orden. Explica cómo compilar y ejecutar un programa básico en Prolog.
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