Prolog

Sistemas Inteligentes de Gestión Relación de ejercicios

PROLOG
© Juan Carlos Cubero & Fernando Berzal

ENTREGA DE LA PRÁCTICA
1_ejemplos.txt 2_ejemplos.pl 2_ejemplos.txt 3_ejemplos.txt 4_ejemplos.pl 5_genealogia.pl 6_maximo.pl 7_repeticiones.pl 8_borrado.pl 9_inserta.pl 10_herencia.pl 11_sin_repeticiones.pl 12_mezcla.pl 13_partir.pl

Sistemas Inteligentes de Gestión: Relación deejercicios de PROLOG 1

Ejercicios tipo C
Ejercicio 1 Cree un fichero de texto llamado 1_ejemplos.txt. Suponiendo que el predicado gusta(X,Y) indica que a X le gusta Y, escriba los objetivos que habría que definir en Prolog para contestar las siguientes preguntas: ¿Le gusta algo a Juan? ¿Le gustan a Juan las almendras? ¿Qué es lo que le gusta a Juan?

A continuación, suponiendo que esPadre(X,Y)indica que X es el padre de Y, exprese en lenguaje natural lo que significan las preguntas:
?- esPadre(X,pedro). ?- esPadre(_,pedro). ?- esPadre(X,_). ?- esPadre(_,_). ?- esPadre(_,X). ?- esPadre(X,Y). ?- esPadre(personaQueNoExiste,pedro).

Ejercicio 2 Represente, primero en Lógica de Predicados y luego en Prolog, los siguientes hechos: Pedro quiere a María. Pedro quiere a Belén. Manuel quiere aBelén. María quiere a Pedro. Todos quieren a Juan y a María. Todo el mundo se quiere a sí mismo. Alguien quiere a Juan y a Pedro. Alguien quiere a María. Alguien quiere a todos los demás.

Almacénelos en un fichero con nombre 2_ejemplos.pl Sistemas Inteligentes de Gestión: Relación de ejercicios de PROLOG 2

A continuación, escriba los objetivos en Prolog necesarios para responder preguntasindicadas a continuación: ¿Quiere Manuel a María? ¿Quiere Manuel a María y a Pedro? ¿Quiere Manuel a alguien? ¿Quiénes son los que quieren a María? ¿Quiénes son los que quieren a Pedro? ¿Quiénes son los que se quieren mutuamente? ¿Quiénes son los que se quieren a sí mismos? ¿Se quiere Manuel a sí mismo? ¿Hay alguien que quiera a María? ¿Hay alguien que quiera a alguien? ¿Hay alguien que se quiera así mismo? ¿Hay alguien que quiera a todo el mundo?

a las

Incluya las respuestas proporcionadas por Prolog en el fichero 2_ejemplos.txt. En el caso de que no se pueda plantear alguna de las preguntas, indique el motivo.

Ejercicio 3 Escriba en Lógica de Predicados los hechos y reglas necesarios para representar: “Existe una persona que gobierna a todos los guatemaltecos”. “Todos losguatemaltecos tienen un animal”. Reglas que relacionen TienePerro y TieneGato con TieneAnimal. “Cada dueño debe vacunar de la rabia a su(s) perro(s)”.

Utilice los predicados Gobierna, EsGuatemalteco, TieneAnimal, TienePerro, TieneGato, EsPerro, EsVacuna, EsEnfermedad, DebeVacunar… Guarde su solución en un fichero llamado 3_ejemplos.txt

Ejercicio 4 Traduzca a Prolog los predicados del ejercicioanterior y guarde su solución en el fichero 4_ejemplos.pl. RECORDATORIO: Si una variable aparece una sola vez en el ámbito de una regla, tendrá que usar el símbolo _ para representarla (tal y como se hace para especificar objetivos en línea de comandos).

Sistemas Inteligentes de Gestión: Relación de ejercicios de PROLOG 3

Para cada uno de los siguientes ejercicios, incluya un breve comentarioacerca de cómo funciona cada regla que defina. Dicho comentario se incluirá justo antes de la definición en Prolog de la regla correspondiente, dentro del fichero .pl asociado al ejercicio.

Ejercicio 5 En un fichero llamado 5_genealogia.pl, cree las reglas en Prolog necesarias para representar un árbol genealógico utilizando únicamente el predicado
padres(,,)

Incluya datos de su propio árbolgenealógico (incluyendo, al menos, datos de abuelos, padres, nietos, y bisnietos). a. Indique el objetivo que permite responder la pregunta ¿Quién es padre de quien? b. Incluya una regla que represente el parentesco de hermandad. c. ¿Puede aumentarse la potencia del predicado anterior con una regla que nos diga explícitamente que la propiedad de ser hermanos es conmutativa (es decir, que si X es...