Seguimos buscando a Arshak. Ayudanos compartiendo!
Encuesta no oficial de docentes
Resultados de la encuesta no oficial de docentes
Probaste el SIGA Helper?

Donar $100 Donar $200 Donar $500 Donar mensualmente


Enviar respuesta 
 
Calificación:
  • 0 votos - 0 Media
  • 1
  • 2
  • 3
  • 4
  • 5
Buscar en el tema
Pedido De TP LOGICO DE PARADIGMAS "TEG"
Autor Mensaje
Harrier-GR7 Sin conexión
Empleado de Fotocopiadora
Segundo Año Ing. Sistemas de ...
**

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 34
Agradecimientos dados: 23
Agradecimientos: 0 en 0 posts
Registro en: Apr 2013
Mensaje: #1
Pedido De TP LOGICO DE PARADIGMAS "TEG" Trabajo practico Paradigmas de Programación
Buenos Dias utnianos, espero que hayan disfrutado de las vacaciones.

Quisiera pedirles por favor si alguno tiene el TP de TEG, del paradigma logico si podria pasarmelo, estoy practicando y hay ciertos puntos que no me salen.

Me ayudaria mucho para saber el porque no me ejecuta como deberia.

Muchisimas gracias.
Otros adjuntos en este tema
.txt  teg.txt ( 4,73 KB / 124) por m68540534
01-08-2014 16:56
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
cplhenderson Sin conexión
Militante
OMG Todo menos Fiorante T__T
***

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 73
Agradecimientos dados: 13
Agradecimientos: 12 en 12 posts
Registro en: May 2011
Mensaje: #2
RE: Pedido De TP LOGICO DE PARADIGMAS "TEG"
Que punto tenes problema?
01-08-2014 17:51
Envíale un email Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
Harrier-GR7 Sin conexión
Empleado de Fotocopiadora
Segundo Año Ing. Sistemas de ...
**

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 34
Agradecimientos dados: 23
Agradecimientos: 0 en 0 posts
Registro en: Apr 2013
Mensaje: #3
RE: Pedido De TP LOGICO DE PARADIGMAS "TEG"
Buenas, en estos puntos, la verdad no se bien si estoy usando el forall, por las dudas pongo mi resolucion, la cual no funciona como deberia...




estaPeleado/1 que se cumple para los continentes en los cuales todos los jugadores que siguen en juego ocupan algún país. Un jugador ya no está en juego si no ocupa ningún país.
4. ocupaContinente/2 que relaciona un jugador y un continente si el jugador ocupa todos los países del mismo.
5. seAtrinchero/1 que se cumple para los jugadores que ocupan países en un único continente.


estaPeleado(Continente):-
paisContinente(Continente,Pais),
forall(jugador(Jugador),(paisesQueOcupa(Jugador,Lista), member(Pais,Lista))).

ocupaContinente(Jugador,Continente):-

forall(paisContinente(Continente,Pais),(paisesQueOcupa(Jugador,Lista) ,member(Pais,Lista))).

listaDePaisesDel(Continente,Lista):-findall(Pais,paisContinente(Continente,Pais),Lista).

seAtrinchero(Jugador):-
paisesQueOcupa(Jugador,Lista),
paisContinente(Continente,_),
listaDePaisesDel(Continente,ListaPaisesC),
forall(member(X,Lista),member(X,ListaPaisesC)).
01-08-2014 18:11
Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
cplhenderson Sin conexión
Militante
OMG Todo menos Fiorante T__T
***

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 73
Agradecimientos dados: 13
Agradecimientos: 12 en 12 posts
Registro en: May 2011
Mensaje: #4
RE: Pedido De TP LOGICO DE PARADIGMAS "TEG"
si esta mal, pero es por como pasas los predicados en el forall ya que muchas de las cosas que estan dentro del forall ya las tenes echas previamente estas reescribiendo codigo al cuete. y te complicaste mucho haciendo todo el manejo de comprobación mediante listas.

Recorda que el forall es de la siguiente forma forall(predicado1,predicado2) o bien si tenes que utilizar mas de un predicado seria forall((predicado1,predicado2),(predicado3,predicado4, predicado5)) en este último tenes que revisar muy bien la lógica ya que sino puede dar resultados muy distintos.

este es el enunciado del estaPeleado
[/*3) estaPeleado/1 que se cumple para los continentes en los cuales todos los jugadores que siguen en juego ocupan algún país. Un jugador ya no está en juego si no ocupa ningún país.*/]

El predicado paisContinente(Continente,Pais) no va eso no te hace inversible el estaPeleado(Continente), para eso usas continente(Continente).

Luego dentro de tu forall estas diciendo basicamente que "para todo jugador que ocupa una lista de paises el pais es parte de esa lista de paises", en realidad tu forall tiene que decir "para todo jugador que esta en juego ocupa algun pais del contienente".
Ahora tenes que hacer predicados donde puedas determinar si un jugador sigue en juego y si ocupa algun pais del contienente.

[/*4)ocupaContinente/2 que relaciona un jugador y un continente si el jugador ocupa todos los países del mismo.*/]
Aca no estas unificando antes de entrar al forall, es decir, te falta un jugador y un continente para que sea inversible y puedas trabajar luego dentro del forall.
Después tu forall dice "para todo pais de un continente se tiene una lista de paises de un jugador donde el pais es parte de esa lista"
Lo que tenes que hacer en realidad es para todo pais del continente el jugador lo ocupa.

[/*5. seAtrinchero/1 que se cumple para los jugadores que ocupan países en un único continente.*/]
Aca te la complicaste en serio con lo de las listas ya que tenes que verificar que los elementos de una listas pertenecen a otra.
Era bastante simple dado un jugador que esta en juego y un continente se da que para todo pais del continente el jugador lo ocupa.

En general se te hizo mas complicado por tratar de juntar todo en una lista y lo mas simple era verificar los datos de la base de conocimiento. Cualquier cosa pregunta.wave
01-08-2014 18:53
Envíale un email Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
[-] cplhenderson recibio 1 Gracias por este post
Harrier-GR7 (01-08-2014)
m68540534 Sin conexión
Profesor del Modulo A
3++ || 4--
*****

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 260
Agradecimientos dados: 252
Agradecimientos: 214 en 71 posts
Registro en: Mar 2013
Mensaje: #5
RE: Pedido De TP LOGICO DE PARADIGMAS "TEG"
Hola, en mi curso lo resolvimos en clase para practicar, te paso la resolución subida por la profe. Saludos.


Archivo(s) adjuntos
.txt  teg.txt (Tamaño: 4,73 KB / Descargas: 124)

Compilado para aprobar la cursada de Matemática Discreta - http://www.utnianos.com.ar/foro/tema-lib...-parciales
01-08-2014 18:59
Envíale un email Encuentra todos sus mensajes Agregar agradecimiento Cita este mensaje en tu respuesta
[-] m68540534 recibio 1 Gracias por este post
Harrier-GR7 (01-08-2014)
Buscar en el tema
Enviar respuesta 




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