Envista de que gran parte de las personas (chicos y grandes) abandonan los juegosclasicos por modernos juegos de PC, la jugueteria de Lanus Quindimil SRL,decide llevar su negocio al terreno digital para poder competir con las nuevas formas de espoarcimiento.

Asies como se comunican con nosotros solicitandonos que realicemos el desarrollode ciertas consultas para un tablero de TEG, que se realizan cada ciertotiempo.

Cadavez que se realizan las consultas, vamos a contar con ciertos hechos como losque ejemplificamos a continuación.

/* distintos paises */

paisContinente(americaDelSur, argentina).

paisContinente(americaDelSur, bolivia).

paisContinente(americaDelSur, brasil).

paisContinente(americaDelSur, chile).

paisContinente(americaDelSur, ecuador).

paisContinente(europa, alemania).

paisContinente(europa, españa).

paisContinente(europa, francia).

paisContinente(europa, inglaterra).

/*países importantes*/

paisImportante(argentina).

paisImportante(alemania).

/*países limítrofes*/

limitrofes(argentina,brasil).

limitrofes(bolivia,brasil).

limitrofes(bolivia,argentina).

limitrofes(argentina,chile).

limitrofes(espana,francia).

limitrofes(alemania,francia).

sonLimitrofes(X, Y) :- limitrofes(X, Y).

sonLimitrofes(X, Y) :- limitrofes(Y, X).

/*distribucion en el tablero */

%El predicado ocupa tiene la forma
%ocupa(pais, colorDelJugador, cantidadDeEjercitos).

ocupa(argentina, azul, 4).

ocupa(bolivia, rojo, 1).

ocupa(brasil, verde, 4).

ocupa(chile, negro, 3).

ocupa(ecuador, rojo, 2).

ocupa(alemania, azul, 3).

ocupa(españa, azul, 1).

ocupa(francia, azul, 1).

ocupa(inglaterra, azul, 2).

/*continentes*/

continente(americaDelSur).

continente(europa).

Sesolicita construir un programa que permita la resolución de las siquientesconsultas.

Todoslos predicados deben ser inversibles, salvo aclaración explícita en contrario.

1)     estaEnContinente/2: Relaciona un jugador y un continente siel jugador ocupa al menos un país en el continente.

2)     ocupaContinente/2: Relaciona un jugador y un continente si eljugador ocupa totalmente al continente.

3)     estaEnElHorno/1: un pais está en el horno si todos sus paiseslimitrofes estan ocupados por el mismo jugador que no es el mismo que ocupa esepais.  Usen sonLimitrofes/2.

4)     esGroso/1: Un jugador es groso si cumple algunas de estas condiciones:

§   ocupatodos los paises importantes y algún continente completo

§   tienepaíses en todos los continentes y algún país importante.

§   Ningunode sus países esta en el horno