Donar $20 Donar $50 Donar $100 Donar mensualmente
 


Enviar respuesta 
 
Calificación:
  • 0 votos - 0 Media
  • 1
  • 2
  • 3
  • 4
  • 5
Buscar en el tema
[Paradigmas de Programacion] Ejercicio Logica
Autor Mensaje
alvar Sin conexión
Secretario de la SAE
:D
******

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 640
Agradecimientos dados: 41
Agradecimientos: 37 en 31 posts
Registro en: Feb 2012
Mensaje: #1
[Paradigmas de Programacion] Ejercicio Logica Apuntes y Guias Paradigmas de Programación
Hola Alguien me ayuda con esta duda que tengo, como hacer que algo sea reciproco.

familia(ana,pedro).
familia(natalia,juan).
familia(juliana,jose).
familia(valeria,marcelo).

1-? familia(pedro,ana).
false.

hice este predicado

familia(x,y):-familia(y,x).

pero me sale algo infinito y me tira error.

quiero que.

familia(pedro,ana).
true.

Spoiler: Mostrar
[Imagen: Hamster-shot-plays-dead.gif]
17-06-2015 19:39
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
FarSalazar Sin conexión
Militante
"Si el viento cambia... E...
***

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 79
Agradecimientos dados: 0
Agradecimientos: 18 en 15 posts
Registro en: Apr 2014
Mensaje: #2
RE: [Paradigmas de Programacion] Ejercicio Logica
hola, primero arrancamos con crear un predicado (una regla).

tenemos que verificar que ambas personas son familiares, tenemos que evaluar el orden de los parametros entonces podria crear algo como esto :

% base de conocimiento
familia(ana,pedro).
familia(natalia,juan).
familia(juliana,jose).
familia(valeria,marcelo).


sonFamilia(Persona,OtraPersona) :- familia(Persona,OtraPersona).
sonFamilia(Persona,OtraPersona) :- familia(OtraPersona,Persona).

asi cuando el motor busque las solucione posibles , va a ligar con todos ,independientemente del orden de los parametros ya que tenemos 2 predicados con distintos orden de parametro pero que al final son los mismo , fijate que lo que maso menos representa seria un V (o) si acordas de discreta

o es por aca ,sonFamilia(Persona,OtraPersona) :- familia(Persona,OtraPersona).

o por aca son Familia(Persona,OtraPersona) :- familia(OtraPersona,Persona).

que en cualquier de los 2 casos, si uno es verdadero la consulta va hacer verdadera, para que la consulta sea falsa, tendria que ser 2 falsos , a menos que le envies , mascostas perros o gatos lo cual no estan en tu base de conocimiento

fijate que en la tercera consulta que hice, el motor va a buscar todas las soluciones posibles para lo cual se va a cumplir , y las repite por el tema que inverti lo parametros.
consultas en prolog

4 ?- sonFamilia(pedro,ana).
true.

5 ?- sonFamilia(jose , juliana).
true.

6 ?- sonFamilia(Persona ,OtraPersona).
Persona = ana,
OtraPersona = pedro ;
Persona = natalia,
OtraPersona = juan ;
Persona = juliana,
OtraPersona = jose ;
Persona = valeria,
OtraPersona = marcelo ;
Persona = pedro,
OtraPersona = ana ;
Persona = juan,
OtraPersona = natalia ;
Persona = jose,
OtraPersona = juliana ;
Persona = marcelo,
OtraPersona = valeria.

espero te sirva.

saludos
17-06-2015 23:08
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
[-] FarSalazar recibio 1 Gracias por este post
alvar (18-06-2015)
alvar Sin conexión
Secretario de la SAE
:D
******

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 640
Agradecimientos dados: 41
Agradecimientos: 37 en 31 posts
Registro en: Feb 2012
Mensaje: #3
RE: [Paradigmas de Programacion] Ejercicio Logica
gracias, y te pregunto como haria para solo tener un solo tipo de clima sin repetir.

ropa(invierno,joggins).
ropa(invierno,campera).
ropa(invierno,guantes).
ropa(otoño,bufanda).
ropa(primavera,remera).
ropa(verano,short).

estacion(Clima):-ropa(Clima,_).

Clima:invierno;
Clima:invierno;
Clima:invierno;
Clima:otoño;
Clima:primavera;
Clima:verano.

Quisiera solo tener

Clima:invierno;
Clima:otoño;
Clima:primavera;
Clima:verano.

Spoiler: Mostrar
[Imagen: Hamster-shot-plays-dead.gif]
18-06-2015 00:29
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Wasol Sin conexión
Profesor del Modulo A
My love in the dark, heart of ...
*****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 334
Agradecimientos dados: 29
Agradecimientos: 72 en 68 posts
Registro en: Nov 2013
Mensaje: #4
RE: [Paradigmas de Programacion] Ejercicio Logica
(17-06-2015 19:39)alvar escribió:  Hola Alguien me ayuda con esta duda que tengo, como hacer que algo sea reciproco.

familia(ana,pedro).
familia(natalia,juan).
familia(juliana,jose).
familia(valeria,marcelo).

1-? familia(pedro,ana).
false.

hice este predicado

familia(x,y):-familia(y,x).

pero me sale algo infinito y me tira error.

quiero que.

familia(pedro,ana).
true.

El problema que tuviste ahí fue que usaste las "variables" en minúscula, cuando van en mayúscula. Pero estaba bien planteado, en principio. Después faltaba hacer al revés como te lo explicó el otro muchacho
18-06-2015 09:55
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Martin. Sin conexión
Presidente del CEIT
Enjoy it !
********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 1.353
Agradecimientos dados: 85
Agradecimientos: 241 en 125 posts
Registro en: Oct 2011
Mensaje: #5
RE: [Paradigmas de Programacion] Ejercicio Logica
(18-06-2015 00:29)alvar escribió:  gracias, y te pregunto como haria para solo tener un solo tipo de clima sin repetir.

ropa(invierno,joggins).
ropa(invierno,campera).
ropa(invierno,guantes).
ropa(otoño,bufanda).
ropa(primavera,remera).
ropa(verano,short).

estacion(Clima):-ropa(Clima,_).

Clima:invierno;
Clima:invierno;
Clima:invierno;
Clima:otoño;
Clima:primavera;
Clima:verano.

Quisiera solo tener

Clima:invierno;
Clima:otoño;
Clima:primavera;
Clima:verano.

Te cambia en algo que se repita?, el enunciado te pide que sean únicos?.

[Imagen: jQJfyBGh9SOmZ.png]
18-06-2015 11:16
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Buscar en el tema
Enviar respuesta 




Usuario(s) navegando en este tema: 1 invitado(s)



    This forum uses Lukasz Tkacz MyBB addons.