Programación Declarativa

Tamaño: px

Comenzar la demostración a partir de la página:

Download "Programación Declarativa"

Hugo Plaza Bustamante
hace 6 años
Vistas:

1 Programación Declarativa 2. PROGRAMACIÓN LÓGICA Loopback

2 Práctica 2.1 Transforme las siguientes frases sencillas en lógica de primer orden y codifíquelas en PROLOG: La pc de la serie SW La maleta de color negro La fotografía de aquel pedestal La madre de Antonio El tío de Josefa Juan juega al fútbol Sebastián quiere a Soledad María envía s a Roberto El escritorio de Arturo El escritorio de Arturo es café El bolígrafo blanco de Rocio

3 Solución 2.1 La pc de la serie SW pc_sw pc(sw ). La maleta de color negro color_negro(maleta). color(maleta,negro). La fotografía de aquel pedestal fotografia_de(aquel_pedestal). La madre de Antonio madre_de(antonio). El tío de Josefa tio_de(josefa).

4 Solución 2.1 Juan juega al fútbol juega(juan,futbol). Sebastián quiere a Soledad quiere(sebastian,soledad). María envía s a Roberto envia(maria, s,roberto). envia_ s(maria,roberto). El escritorio de Arturo escritorio_de(arturo). El escritorio de Arturo es café color_cafe(escritorio_de(arturo)). color(escritorio_de(arturo),cafe). El bolígrafo blanco de Rocio color_blanco(boligrafo_de(rocio)). color(boligrafo_de(rocio),blanco).

5 Práctica 2.2 Transforme las siguientes hechos en lógica de primer orden y codifíquelas en PROLOG: La madre de Sebastián está casada con el padre de Ramiro. Sebastián y Jorge son hermanos de María y Rosa. Julian, el hermano de Ramiro gusta de la natación. Jorge esta casado con Rosana, que es hija de Bortolo. El Hijo de Bartolo es médico en el hospital Santa Ana. El padre de Ramiro no es padre ni de María, ni de Rosa. Almorcé con Vilma, que es hermana de Rosana. Sebastián envía flores a Vilma en el día de San Valentín. Valeria y Martín son hijos de Rosana. Valeria mide 1.70, de tez blanca, le gusta la medicina y en su tiempo libre suele practicar la natación.

6 Práctica 2.3 Partiendo de su base de conocimientos actual (padre_de/2), construya las siguientes reglas (no olvide utilizar modularidad, reutilización, identificación de clases u objetos, etc.): hijos/2 hermanos/2 tios/2 sobrinos/2 tios_hombres/2 abuelos/2 casados/2 conyuge/2 solteros/1 Valide con los datos ingresados, verificando todas las respuestas. No olvide restringir el uso de hechos como relaciones extras.

7 Práctica 2.3 (Continuación) Definir las relaciones extras Suegro Cuñado Concuñado

8 Práctica 2.4 Retome la práctica 2.2 y recodifique solo para cumplir los siguientes objetivos o preguntas. Elimine los hechos innecesarios: Quienes están casados? Quién gusta de la natación? A quienes les gusta la medicina? Cuáles son los hermanos de Sebatián? Cuáles son las hijas de Bartolo? Quiénes son solteras? En que hospital trabajan los hijos de Bartolo? Valide con los datos ingresados, verificando todas las respuestas. No olvide restringir el uso de hechos como relaciones extras.

9 Solución Práctica 2.4 Predicado Hecho casado/2 casados(padre_de(ramiro),madre_de(sebastian)). casados(jorge,rosana). Predicado Hecho hermanos/2 hermanos(sebastian,familiax). hermanos(jorge,familiax). hermanos(maria,familiax). hermanos(rosa,familiax). hermanos(ramiro,familiay). hermanos(julian,familiay). hermanos(vilma,familiaz). hermanos(rosana,familiaz).

10 Hechos mujer/1 mujer(maria). mujer(rosa). mujer(vilma). mujer(rosana). mujer(valeria). Hechos gusta/2 gusta(julian,natacion). gusta(valeria,medicina). gusta(valeria,natacion). Hechos hijos/2 hijos(rosana,bartolo). hijos(valeria,rosana). hijos(martin,rosana). Solución Práctica 2.4

11 Solución Práctica 2.4 Otros Hechos no_padres(padre_de(ramiro),maria). no_padres(padre_de(ramiro),rosa). medico(hijo_de(bartolo)). trabaja(hijo_de(bartolo),hospital_santa_ana). almorzar(yo,vilma). enviar(sebastián,flores,vilma,san_valentin). mide_170(valeria). tez_blanca(valeria).

12 Solución Práctica 2.4 Reglas casado(alguien):-casados(alguien,_). casado(alguien):-casados(_,alguien). solteras(mujeres):-mujer(mujeres), not(casado(mujeres)). cual_hermanos(persona,hermano):- hermanos(persona,familia), hermanos(hermano,familia), not(persona=hermano).

13 Solución Práctica 2.4 Reglas gusta(persona,medicina):-medico(persona). gusta(persona,otrapersona):- enviar(persona,flores,otrapersona,san_valentin). hijos(hijo,padre):-hijos(su_hijo,padre), hermanos(su_hijo,familia), hermanos(hijo,familia), mujer(hijo).

14 Solución Práctica 2.4 OBJETIVOS Quienes están casados? casados(hombre,mujer). Quién gusta de la natación? gusta(persona,natacion). A quienes les gusta la medicina? gusta(persona,medicina).

15 Solución Práctica 2.4 OBJETIVOS Cuáles son los hermanos de Sebastián? cual_hermanos(sebastian,hermano). Cuáles son las hijas de Bartolo? hijos(persona,bartolo). Quiénes son solteras? solteras(persona). En que hospital trabajan los hijos de Bartolo? trabaja(hijo_de(bartolo),hospital).

Documentos relacionados

madre: Elena, 41 años hermano: Carlos, 14 años

madre: Elena, 41 años hermano: Carlos, 14 años Encontrar la 1 Juan 68 años hija: Elena, 41 años nieto: Carlos. 14 años nieta: Maria 11 años abogado ajedrez y leer un perro grande, blanco y negro Elena 41 años padre: Juan, 68 años hijo: Carlos, 14 años