21-07-2017, 10:49
Buenas! Alguno me podría ayudar con este ejercicio ?
https://mumuki.io/exercises/2537-programacion-logica-practica-negacion-y-cuantificacion-teg-2
Mi solución fue esta, pero me sigue fallando creo que en "estaPeleado":
ocupaContinente(Jugador,Continente):-
forall(ocupa(Pais,Jugador,_),estaEn(Pais,Continente)).
estaPeleado(Continente):-
forall(estaEn(Pais,Continente),ocupa(Pais,Jugador,_)).
seAtrinchero(Jugador):-
ocupa(Pais,Jugador,_),
estaEn(_,Pais).
ADJUNTO TAMBIÉN EL ENUNCIADO:
Agregamos más información a nuestra base de conocimientos que nos dice en qué continente se encuentra cada país mediante el predicado estaEn/2 que relaciona un continente y un país.
Con esta nueva información definí los siguientes predicados:
ocupaContinente/2 que relaciona un jugador y un continente si el jugador ocupa todos los países del mismo.
estaPeleado/1 que se cumple para los continentes en los cuales todos los jugadores ocupan algún país.
seAtrinchero/1 que se cumple para los jugadores que ocupan países en un único continente.
Asumí que ocupa/3 que relaciona un país con un jugador ya se encuentra definido también.
https://mumuki.io/exercises/2537-programacion-logica-practica-negacion-y-cuantificacion-teg-2
Mi solución fue esta, pero me sigue fallando creo que en "estaPeleado":
ocupaContinente(Jugador,Continente):-
forall(ocupa(Pais,Jugador,_),estaEn(Pais,Continente)).
estaPeleado(Continente):-
forall(estaEn(Pais,Continente),ocupa(Pais,Jugador,_)).
seAtrinchero(Jugador):-
ocupa(Pais,Jugador,_),
estaEn(_,Pais).
ADJUNTO TAMBIÉN EL ENUNCIADO:
Agregamos más información a nuestra base de conocimientos que nos dice en qué continente se encuentra cada país mediante el predicado estaEn/2 que relaciona un continente y un país.
Con esta nueva información definí los siguientes predicados:
ocupaContinente/2 que relaciona un jugador y un continente si el jugador ocupa todos los países del mismo.
estaPeleado/1 que se cumple para los continentes en los cuales todos los jugadores ocupan algún país.
seAtrinchero/1 que se cumple para los jugadores que ocupan países en un único continente.
Asumí que ocupa/3 que relaciona un país con un jugador ya se encuentra definido también.