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
[Prolog] Ayuda - Guia 1 Ejercicio 3
Autor Mensaje
gan Sin conexión
Profesor del Modulo A
:ö:
*****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 286
Agradecimientos dados: 87
Agradecimientos: 141 en 47 posts
Registro en: Apr 2011
Mensaje: #1
[Prolog] Ayuda - Guia 1 Ejercicio 3 Apuntes y Guias y 1 más Paradigmas de Programación
Hola, agoté mis recursos, por lo que vengo a pedir un empujón con un ejercicio.

El enunciado dice:

Cita:Ejercicio 3
Escribir un programa Prolog que responda consultas acerca de cuáles son los rivales de una determinada selección en un campeonato mundial.
Una selección tiene como rivales todos los otros equipos de su mismo grupo (¡nunca contra sí misma!).
Incluir en el programa la siguiente información:

El grupo A está formado por Colombia, Camerún, Jamaica e Italia.
El grupo B está formado por Argentina, Nigeria, Japón y Escocia.

El programa debe ser capaz de responder, p.ej., a la siguiente consulta: ¿cuáles son los rivales de Argentina? otorgando como respuestas "Nigeria", "Japón" y "Escocia".

Yo hice esto:


grupo(colombia,a).
grupo(camerun,a).
grupo(jamaica,a).
grupo(italia,a).
grupo(argentina,b).
grupo(nigeria,b).
grupo(japon,b).
grupo(escocia,b).

esRival(Pais1,Pais2):-
grupo(Pais1,X),
grupo(Pais2,X),
Pais1 \= Pais2.


Mi duda es: hay alguna forma de hacer una regla "rivales" que reciba un solo argumento y devuelva todos sus rivales?


?- rivales(argentina).

> nigeria
> japon
> escocia


Gracias.
02-05-2014 21:02
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
rob. Sin conexión
Presidente del CEIT
Smile!
********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 1.149
Agradecimientos dados: 126
Agradecimientos: 85 en 66 posts
Registro en: Dec 2010
Mensaje: #2
RE: [Prolog] Ayuda - Guia 1 Ejercicio 3
Hola.

Para que devuelva todos los rivales, se supone que deberías repasar los conceptos de inversibilidad. Para ello, debés asegurarte que cada predicado de la consulta lo sea.
Repasá estos ejemplos: http://uqbar-wiki.org/index.php?title=Pa...rsibilidad

La misma función te sirve, pero no te adelanto mucho así aprovechás el espíritu autodidacta =P


Saludos!

wake me up when september ends!
(Este mensaje fue modificado por última vez en: 02-05-2014 23:34 por rob..)
02-05-2014 23:34
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
gan Sin conexión
Profesor del Modulo A
:ö:
*****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 286
Agradecimientos dados: 87
Agradecimientos: 141 en 47 posts
Registro en: Apr 2011
Mensaje: #3
RE: [Prolog] Ayuda - Guia 1 Ejercicio 3
Intenté todo lo que se me ocurrió pero no hay caso, me devuelve siempre un valor booleano. Le agregué también como dice en la wiki una consulta individual antes para ligar la variable, pero nada Confused algo le estoy pifiando.

Igual no entiendo si el enunciado pide hacerlo con 1 argumento o con 2.
03-05-2014 16:49
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
rob. Sin conexión
Presidente del CEIT
Smile!
********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 1.149
Agradecimientos dados: 126
Agradecimientos: 85 en 66 posts
Registro en: Dec 2010
Mensaje: #4
RE: [Prolog] Ayuda - Guia 1 Ejercicio 3
Se supone que el argumento debería ser de un parámetro, pensá que pregunta cuales son los rivales de Argentina, tendría que:

1. Buscar en la base de conocimiento a que grupo pertenece Argentina (p. ej.).
2. Devolver todos los que integren ese grupo, excepto Argentina (a cada uno le preguntará: "Sos Argentina?" -si, no-).

wake me up when september ends!
(Este mensaje fue modificado por última vez en: 03-05-2014 21:59 por rob..)
03-05-2014 21:59
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Desert69 Sin conexión
Presidente del CEIT
Sin estado :( / "Anarquia...
********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 2.396
Agradecimientos dados: 202
Agradecimientos: 297 en 186 posts
Registro en: Jun 2008
Mensaje: #5
RE: [Prolog] Ayuda - Guia 1 Ejercicio 3
Acordate que en lógico lo único que devuelven los predicados es si matchearon o no...

[Imagen: a2.php]
[Imagen: 971aa6599664453c05cb3e42d58bbc0eo.jpg]
05-05-2014 14:08
Visita su sitio web Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
sentey Sin conexión
Presidente del CEIT
fressi renunciessi abandonessi
********

Análisis de Sistemas
Facultad Regional Buenos Aires

Mensajes: 1.544
Agradecimientos dados: 128
Agradecimientos: 197 en 137 posts
Registro en: Aug 2010
Mensaje: #6
RE: [Prolog] Ayuda - Guia 1 Ejercicio 3
Yo lo haría con 2 argumentos, utilizando el mismo predicado que hiciste:



?- esRival(argentina,X).
X = nigeria ;
X = japon ;
X = escocia.



Fuente: lo probé y funciona =P
Acordate de tocar el ";" para que te tire los resultados

Y tirate un esRival(X,Y) para ver la magia de Prolog
Spoiler: Mostrar
Como regla general, acordate que Prolog "se la banca" mientras definas predicados inversibles, el ejemplo tipico es, si vos haces una base de conocimiento que tenga:

predicado(a,b)


podes hacer 4 tipos de consultas:
a) la más basica, devuelve true o false

?- predicado(a,b)

b) una tipo "funcional", devuelve todos los X que unifican con b

?- predicado (X,b)

c) aca se nota que es mas "potente" que funcional, porque podes preguntar por cualquier argumento

?- predicado (a,X)

d) la mas grosa, devuelve todos los pares (a,b) que unifiquen

?- predicado (X,Y)


Esto hace que tengas que definir menos funciones (predicados) para hacer lo que tenes que hacer

sentey escribió:Voy a cambiar esta firma el día que Me$$i gane un mundial
(Este mensaje fue modificado por última vez en: 05-05-2014 17:19 por sentey.)
05-05-2014 16:51
Envíale un email Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Ichiluk Sin conexión
Campeon del cubo Rubik
Metametaprogramando.
****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 134
Agradecimientos dados: 5
Agradecimientos: 21 en 18 posts
Registro en: Apr 2008
Mensaje: #7
RE: [Prolog] Ayuda - Guia 1 Ejercicio 3
No se puede con un solo argumento.

Los predicados no devuelven nada, sólo dicen si es verdadera o falsa una afirmación. En caso de ser verdadera con una variable, te dice qué valores hacen verdadera la afirmación.
06-05-2014 18:19
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
gan Sin conexión
Profesor del Modulo A
:ö:
*****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 286
Agradecimientos dados: 87
Agradecimientos: 141 en 47 posts
Registro en: Apr 2011
Mensaje: #8
RE: [Prolog] Ayuda - Guia 1 Ejercicio 3
A quien le tengo que creer? =P
06-05-2014 23:13
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Desert69 Sin conexión
Presidente del CEIT
Sin estado :( / "Anarquia...
********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 2.396
Agradecimientos dados: 202
Agradecimientos: 297 en 186 posts
Registro en: Jun 2008
Mensaje: #9
RE: [Prolog] Ayuda - Guia 1 Ejercicio 3
Estamos más o menos diciéndote lo mismo, sólo que lo de sentey es un abuso de notación que roza con un error de concepto.

Los predicados sólo devuelven true o false indicando si matchean o no. El paradigma lo determina así, porque las cláusulas de horn lo determinan así.

La joda es que prolog, además, unifica tus variables libres con las respuestas que hacen cierta la condición. Entonces uno habla a lo bestia diciendo "te devuelve las respuestas que matchean", pero devolver está pésimamente dicho en esa frase.

Si tenés en cuenta lo que de verdad debería decir cuando escribió "devuelve", lo que puso es cierto.

Con un único parámetro no podés conocer los rivales de un equipo. Acordate que el predicado es una relación. unEquipo es rival de otroEquipo. esRival(unEquipo, otroEquipo).

Decir esRival(unEquipo) no relaciona mucho. "unEquipo es rival". OK, sí, podríamos decir que un equipo es rival si pertenece a algún grupo (digamos, polonia no figura en tu base de conocimientos, por lo que polonia no es un rival - esRival(polonia) devuelve false). La relación que vos estás buscando es entre dos participantes. "el rival de un equipo" involucra a dos participantes: al equipo, y a su rival. Por eso **necesitás** dos parámetros.


"¿A quién le tengo que creer?" es una pregunta super jodida de hacer. Digamos, en general, deberías ser vos el que decida a quién creerle. Es bastante heavy delegar esa responsabilidad a un tercero ;-)

[Imagen: a2.php]
[Imagen: 971aa6599664453c05cb3e42d58bbc0eo.jpg]
07-05-2014 02:41
Visita su sitio web Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
[-] Desert69 recibio 1 Gracias por este post
gan (25-09-2014)
sentey Sin conexión
Presidente del CEIT
fressi renunciessi abandonessi
********

Análisis de Sistemas
Facultad Regional Buenos Aires

Mensajes: 1.544
Agradecimientos dados: 128
Agradecimientos: 197 en 137 posts
Registro en: Aug 2010
Mensaje: #10
RE: [Prolog] Ayuda - Guia 1 Ejercicio 3
(07-05-2014 02:41)Desert69 escribió:  La joda es que prolog, además, unifica tus variables libres con las respuestas que hacen cierta la condición. Entonces uno habla a lo bestia diciendo "te devuelve las respuestas que matchean", pero devolver está pésimamente dicho en esa frase.

Si tenés en cuenta lo que de verdad debería decir cuando escribió "devuelve", lo que puso es cierto.
Aflojá un cacho, que sepas más no te da derecho a bardear.
Además, yo escribo esRival(argentina,X) y en la pantalla me aparecen equipos. Para mi, eso es devolver, mas allá de que sea o no el término o el concepto correcto del paradigma, la idea se entiende creo...

sentey escribió:Voy a cambiar esta firma el día que Me$$i gane un mundial
(Este mensaje fue modificado por última vez en: 07-05-2014 12:20 por sentey.)
07-05-2014 12:09
Envíale un email Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Desert69 Sin conexión
Presidente del CEIT
Sin estado :( / "Anarquia...
********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 2.396
Agradecimientos dados: 202
Agradecimientos: 297 en 186 posts
Registro en: Jun 2008
Mensaje: #11
RE: [Prolog] Ayuda - Guia 1 Ejercicio 3
No, no es bardeo. Bah, no era la idea, no me malinterpretes. Digamos, no era un ataque personal.


Está mal dicho, es incorrecto _pensar_ que los predicados devuelven algo que no sea true o false, porque se te cae toda la joda del paradigma. Decir que un predicado devuelve cosas es algo que todos decimos, pero está mal. Es incorrecto. Decirlo es un abuso del lenguaje, pensarlo es pensar mal el paradigma.

[Imagen: a2.php]
[Imagen: 971aa6599664453c05cb3e42d58bbc0eo.jpg]
07-05-2014 13:46
Visita su sitio web Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
sentey Sin conexión
Presidente del CEIT
fressi renunciessi abandonessi
********

Análisis de Sistemas
Facultad Regional Buenos Aires

Mensajes: 1.544
Agradecimientos dados: 128
Agradecimientos: 197 en 137 posts
Registro en: Aug 2010
Mensaje: #12
RE: [Prolog] Ayuda - Guia 1 Ejercicio 3
(07-05-2014 13:46)Desert69 escribió:  No, no es bardeo. Bah, no era la idea, no me malinterpretes. Digamos, no era un ataque personal.


Está mal dicho, es incorrecto _pensar_ que los predicados devuelven algo que no sea true o false, porque se te cae toda la joda del paradigma. Decir que un predicado devuelve cosas es algo que todos decimos, pero está mal. Es incorrecto. Decirlo es un abuso del lenguaje, pensarlo es pensar mal el paradigma.

Ok, todo bien entonces, entendí otra cosa. thumbup3

sentey escribió:Voy a cambiar esta firma el día que Me$$i gane un mundial
07-05-2014 15:07
Envíale un email Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
gan Sin conexión
Profesor del Modulo A
:ö:
*****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 286
Agradecimientos dados: 87
Agradecimientos: 141 en 47 posts
Registro en: Apr 2011
Mensaje: #13
RE: [Prolog] Ayuda - Guia 1 Ejercicio 3
(07-05-2014 02:41)Desert69 escribió:  Decir esRival(unEquipo) no relaciona mucho. "unEquipo es rival". OK, sí, podríamos decir que un equipo es rival si pertenece a algún grupo (digamos, polonia no figura en tu base de conocimientos, por lo que polonia no es un rival - esRival(polonia) devuelve false). La relación que vos estás buscando es entre dos participantes. "el rival de un equipo" involucra a dos participantes: al equipo, y a su rival. Por eso **necesitás** dos parámetros.

Con esto me quedó claro, gracias.
07-05-2014 16:06
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
emilio_murray Sin conexión
Militante
OLA K ASE
***

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 53
Agradecimientos dados: 56
Agradecimientos: 7 en 6 posts
Registro en: Sep 2014
Mensaje: #14
RE: [Prolog] Ayuda - Guia 1 Ejercicio 3
Hola gan, te dejo una posible resolucion.

Spoiler: Mostrar
% EJERCICIO 3
% -----------
% Escribir un programa Prolog que responda consultas acerca de cuáles son los rivales de una determinada
% selección en un campeonato mundial.
% Una selección tiene como rivales todos los otros equipos de su mismo grupo (¡nunca contra sí misma!).
% Incluir en el programa la siguiente información:
% El grupo A está formado por Colombia, Camerún, Jamaica e Italia.
% El grupo B está formado por Argentina, Nigeria, Japón y Escocia.
% El programa debe ser capaz de responder, p.ej., a la siguiente consulta:
% ¿cuáles son los rivales de Argentina? otorgando como respuestas "Nigeria", "Japón" y "Escocia".

pertenece(colombia,grupoA).
pertenece(camerun,grupoA).
pertenece(jamaica,grupoA).
pertenece(italia,grupoA).

pertenece(argentina,grupoB).
pertenece(nigeria,grupoB).
pertenece(japon,grupoB).
pertenece(escocia,grupoB).

proximosRivales(Equipo,Rivales):- pertenece(Equipo,Grupo), pertenece(Rivales,Grupo), Equipo\=Rivales.

Saludos,
Emilio.
14-09-2014 02:33
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.