Cursosā€Ž > ā€ŽMartes-MiĆ©rcoles-Jueves MaƱanaā€Ž > ā€Ž

Resúmenes Lógico

Resumen - Clase 1, 2 y 3 Lógico



Resumen - Clase 4 Lógico ā€Ž(Recursividad + Polimorfismo)ā€Ž



TP Lógico para el martes 20/09/2011


Basados en el juego del TEG, donde hay muchos paĆ­ses ocupados por jugadores que se representan por colores, tenemos la siguiente base de conocimiento.

jugador(azul).
jugador(verde).
jugador(negro).
jugador(azul).
pais(argentina, america).
pais(chile, america).
pais(brasil, america).
ocupa(azul, argentina).
ocupa(verde, chile).
ocupa(verde, brasil).

%Ejercicio 1:Ā  Escribir el predicado estaDestruido/1.Ā  Un jugador esta destruido si no ocupa ningun pais.Ā  No tiene que ser inversible.

%Ejercicio 2:Ā  Escribir el predicado quiereOcupar/2 que relaciona a un jugador con un paĆ­s que le gustarĆ­a ocupar. Para esto se tiene que dar que el jugador no ocupe actualmente ese paĆ­s y que sĆ­ ocupe algĆŗn otro paĆ­s en el mismo continente.

%Ejercicio 3:Ā  Escribir el predicado ocupaContinente/2 que relaciona a un jugador con un continente que ocupa, o sea, tenga todos los paises.Ā  Hacerlo totalmente inversible.

%Ejercicio 4:Ā  Escribir el predicado cantidadDePaisesEnContinente/3 que relacione un jugador y un continente, con la cantidad de paises que ocupa en ese continente.Ā  Hacerlo totalmente inversible.