Juego Oca 2d2s55

'), skip(10), nl.

/* NOMBRES DE PARTICIPANTES. */ %Mensaje con el que se representa en pantalla el nombre de cada participante. escribir_nombre(jugador) :- nombre(jugador, N), write(N), write(' (HUMANO)'). escribir_nombre(u):- nombre(u, N), write(N), write(' (IA)').

%Selecciona un nombre, N, para el proyecto. nombre_proyecto(N) :- nombres_proyecto(L), proper_length(L, LONG), I is random(LONG), nth0(I, L, N).

/* CASILLAS. */ %Predicado que especifica si un número está en el rango válido de casillas (entre 0 y 63). casilla(C) :- C >= 0, C =< 63.

%Predicado que comprueba si la casilla C es un puente. puente(C) :- puentes(L), member(C, L).

%Predicado que comprueba si la casilla C es una posada.

Javier Gago Romero

Página 45

FIA

Fundamentos de Inteligencia Artificial - AO2

Curso 2016-2017

posada(C) :- posadas(L), member(C, L).

%Predicado que comprueba si la casilla C es de dados. dados(C) :- dadoss(L), member(C, L).

%Predicado que comprueba si la casilla C es un pozo. pozo(C) :- pozos(L), member(C, L).

%Predicado que comprueba si la casilla C es un laberinto. laberinto(C) :- laberintos(L), member(C, L).

%Predicado que comprueba si la casilla C es una cárcel. carcel(C) :- carceles(L), member(C, L).

%Predicado que comprueba si la casilla C es una calavera. calavera(C) :- calaveras(L), member(C, L).

%Predicado que comprueba si la casilla C es una oca. oca(C) :- ocas(L), member(C, L).

%Predicado que comprueba si la casilla C es una casilla de victoria. victoria(C) :- victorias(L), member(C, L).

%Predicado que determina si una casilla es especial. casilla_especial(C) :- casilla(C),(calavera(C); posada(C); pozo(C); carcel(C); laberinto(C); dados(C); puente(C); oca(C); victoria(C)).

%Predicado que determina si una casilla es normal. casilla_normal(C) :- casilla(C), not(casilla_especial(C)).

/* PREDICADOS RELACIONADOS CON UNA NUEVA PARTIDA. */ %Comienzo de una nueva partida. nueva_partida :- write('¡Estupendo! Vamos a comenzar una nueva partida. ¡Mucha suerte!'), nl, nl,

Javier Gago Romero

Página 46

FIA


Curso 2016-2017

write('A continuación, habrá que decidir quién comenzará el juego.'), nl, esperar_intro, determinar_participante_inicial.

%Hace que el participante X comience el juego. comenzar_partida(X) :- write('¡'), escribir_nombre(X), write(' comenzará el juego!'), nl, turno(X).

%Determina el participante que comenzará la partida, mediante una tirada de dados. %El participante que obtenga la mayor puntuación en una tirada de dados, es el que comenzará la partida. %Si ambos participantes obtienen la misma puntuación, entonces el lanzamiento debe repetirse hasta eliminar la igualdad. %Este predicado se resuelve recursivamente. %Cabe señalar que el caso base se produce cuando los dos lanzamientos sean distintos, independientemente del participante que comience la partida. %Cuando hay igualdad en la tirada, entonces se produce una llamada recursiva. El progreso hacia el caso base tiene lugar en el sentido de que, %por probabilidad, en algún momento se terminará llegando al caso base, que es, de hecho, más probable que el hecho de que tenga lugar una %llamada recursiva. %Si los dados están equilibrados, entonces la probabilidad de que las dos tiradas sean iguales es de 6 posibilidades entre 36, es decir, 1/6. %Por tanto, suponiendo que los dados están equilibrados, hay 5/6 de probabilidad de alcanzar el caso base y 1/6 de que se produzca una llamada %recursiva. determinar_participante_inicial :- write('Los participantes van a lanzar los dados para ver quién inicia el juego.'), nl, write('El participante que obtenga la puntuación más alta en la tirada de dados comenzará la partida.'), nl, esperar_intro, tirada(T1), dibujar_dado(T1), escribir_nombre(jugador), write(' obtiene un '), write(T1), write('.'), nl, tirada(T2), dibujar_dado(T2), escribir_nombre(u), write(' obtiene un '), write(T2), write('.'), nl, nl, comparar_tiradas_iniciales(T1, T2, X), comenzar_partida(X), !. determinar_participante_inicial :- write('¡Vaya, los participantes han obtenido la misma puntuación! Habrá que repetir el lanzamiento.'), nl, esperar_intro, determinar_participante_inicial.

%Compara las tiradas iniciales T1 y T2. %Si T1 es mayor que T2, entonces el participante que debe comenzar la partida es jugador, como se indica en el tercer argumento. %Si T2 es mayor que T1, entonces el participante que debe comenzar la partida es u, como se indica en el tercer argumento.

Javier Gago Romero

Página 47

FIA


Curso 2016-2017

%Si T1 es igual que T2, entonces el predicado devuelve falso. comparar_tiradas_iniciales(T1, T2, jugador) :- T1 > T2. comparar_tiradas_iniciales(T1, T2, u) :- T1 < T2.

/* PREDICADOS RELACIONADOS CON TURNOS, TIRADAS DE DADOS, Y FINALIZAR UNA PARTIDA. */ %Turno de un participante. El participante se indica mediante X. turno(X):- participante(X), esperar_intro, nl, write('**********'), nl, write('TURNO DE '), escribir_nombre(X), nl, nl, write('**********'), nl , nl, interactuar(X).

%Cambio de turno entre participantes. cambio_turno(jugador) :- turno(u). cambio_turno(u) :- turno(jugador).

%Tirada de un dado. El valor obtenido tras la tirada, es T. tirada(T):- T is random(6) + 1.

%Descripción al azar de un lanzamiento de dado. descripcion_lanzamiento_dado(F) :- descripciones_lanzamientos_dado(L), proper_length(L, LONG), I is random(LONG), nth0(I, L, F).

%Lanzamiento de un dado. El participante que lanza el dado se indica mediante X. lanzar_dado(X) :- participante(X), escribir_nombre(X), write(' '), descripcion_lanzamiento_dado(F), write(F), nl, write('(Actualmente se encuentra en la casilla '), posicion(X, CA), write(CA), write(').'), nl, esperar_intro, tirada(T), dibujar_dado(T), write('¡Ha salido un '), write(T), write('!'), nl, actualizar_posicion(X, T),

Javier Gago Romero

Página 48

FIA


Curso 2016-2017

posicion(X, C), escribir_nombre(X), write(' alcanza así la casilla número '), write(C), write('.'), nl, nl, frase(C), nl, accion(X, C).

%Determina como un participante puede interactuar en un turno. %Si el participante tiene prohibido tirar el dado en ese turno, entonces no podrá interactuar. %La U, siempre y cuando no tenga prohibido tirar el dado, siempre interactúa lanzando su dado. interactuar(jugador) :- sin_tirar(jugador, N), N > 0, M is N - 1, escribir_nombre(jugador), write(' no puede lanzar el dado este turno.'), nl, retract(sin_tirar(jugador, _)), assert(sin_tirar(jugador, M)), turno(u), !. interactuar(jugador) :- menu_turno(jugador). interactuar(u) :- sin_tirar(u, N), N > 0, M is N - 1, escribir_nombre(u), write(' no puede lanzar el dado este turno.'), nl, retract(sin_tirar(u, _)), assert(sin_tirar(u, M)), turno(jugador), !. interactuar(u) :- menu_turno(u, 1).

%Determina que ocurre cuando un participante gana el juego. gana(jugador) :- nl, write('¡¡¡'), escribir_nombre(jugador), write(' alcanza la victoria!!!'), nl, comprobar_amnesia(jugador), finalizar_partida(jugador). gana(u) :- nl, write('... '), escribir_nombre(u), write(' se alza con la victoria ...'), nl, finalizar_partida(u).

%Determina que ocurre cuando un participante se rinde. rendirse(jugador) :- write('¡¡Ohhhh!!, has decidido tirar la toalla y rendirte.'), nl, gana(u). rendirse(u) :- write('¡Tu rival se ha rendido!'), nl, gana(jugador).

%Finaliza una partida, donde el ganador ha sido el participante X. finalizar_partida(X):- victorias(X, V), retract(victorias(X, _)),

Javier Gago Romero

Página 49

FIA


Curso 2016-2017

VN is V + 1, assert(victorias(X, VN)), retract(posicion(jugador, _)), retract(posicion(u, _)), assert(posicion(jugador, 0)), assert(posicion(u, 0)), retract(sin_tirar(jugador, _)), retract(sin_tirar(u, _)), assert(sin_tirar(jugador, 0)), assert(sin_tirar(u, 0)), escribir_diario(jugador, X), nl, nl.

/* POSICIÓN DE UN PARTICIPANTE EN EL TABLERO. */ %Mueve al participante X a la casilla número C. mover_a_posicion(X, C) :- casilla(C), retract(posicion(X, _)), assert(posicion(X, C)).

%Actualiza la posición del participante X, en T casillas. %El valor de T puede ser positivo o negativo. Si es positivo avanzará en el tablero, y si %es negativo, entonces el participante retrocederá. %Uno de los objetivos de este predicado es correccion_rebote, que se encargará de realizar %el efecto de rebote, que tiene lugar en el juego de la oca cuando un participante debería %ir más allá de la casilla final. actualizar_posicion(X, T) :- posicion(X, C), CN is C + T, correccion_rebote(CN, CNR), retract(posicion(X, C)), assert(posicion(X, CNR)).

%Corrige la posición del participante, cuya posición nueva, de seguir el tablero, sería X, %en base al rebote que se produce en el juego de la oca cuando un participante debería ir %más allá de la casilla final. La corrección se calcula en Y. %Para ello, se comprueba si X es mayor que 63, en cuyo caso, se calcula el exceso, y se resta %a 63, pasando a ser la nueva casilla donde debe posicionarse el participante. %Si X no es mayor que 63, entonces simplemente se da por válida la corrección sin hacer nada más,

Javier Gago Romero

Página 50

FIA


Curso 2016-2017

%y el valor devuelto en el segundo argumento es la propia X. correccion_rebote(X, Y) :- X > 63, R is X - 63, Y is 63 - R, !. correccion_rebote(X, X).

/* ACCIONES DE UN PARTICIPANTE EN FUNCIÓN DE LA CASILLA EN LA QUE CAE. */ %Determina la acción que debe realizar el participante X, en la casilla indicada por el segundo argumento. accion(X, C) :- victoria(C), gana(X), !. accion(X, C) :- oca(C), accion_oca(X, C), !. accion(X, C) :- puente(C), accion_puente(X, C), !. accion(X, C) :- posada(C), accion_posada(X), !. accion(X, C) :- dados(C), accion_dados(X, C), !. accion(X, C) :- pozo(C), accion_pozo(X), !. accion(X, C) :- laberinto(C), accion_laberinto(X), !. accion(X, C) :- carcel(C), accion_carcel(X), !. accion(X, C) :- calavera(C), accion_calavera(X), !. accion(X, C) :- casilla(C), cambio_turno(X).

%Determina la acción de una casilla de oca, para el participante X, en la casilla indicada por el segundo argumento. %Se asume, que si la partida no terminara en victoria en la última oca, el participante se desplazaría de nuevo, por ser oca, a la %primera de las ocas, al igual que sucede esto en las casillas de dados y de puentes. %Si el participante no está en la última oca, entonces se desplaza hasta la siguiente oca. %La partida finaliza si el jugador llegó a la penúltima oca, pues de ésta se desplaza hasta la casilla de la victoria y gana, o bien %si ha caído en la última oca, puesto que es una casilla de victoria. %Si el jugador ha caído en una oca, que no es ni la penúltima ni la última de las ocas, entonces continúa su turno. accion_oca(X, C) :- ocas(L), last(L, C), ocas([CN | _]), mover_a_posicion(X, CN), !. accion_oca(X, C) :- ocas(L), nextto(C, CN, L), last(L, CN), mover_a_posicion(X, CN), accion(X, CN), !. accion_oca(X, C) :- ocas(L), nextto(C, CN, L), mover_a_posicion(X, CN), turno(X).

%Determina la acción de una casilla de laberinto, para el participante X, en la casilla indicada por el segundo argumento. %El participante debe retroceder hasta la casilla número 30. %Tras esto, el participante cede su turno. accion_laberinto(X) :- mover_a_posicion(X, 30), cambio_turno(X).

Javier Gago Romero

Página 51

FIA


Curso 2016-2017

%Determina la acción de una casilla de posada, para el participante X. %El participante no podrá tirar durante dos turnos. %Tras esto, el participante cede su turno. accion_posada(X) :- retract(sin_tirar(X, _)), assert(sin_tirar(X, 2)), cambio_turno(X).

%Determina la acción de una casilla de pozo, para el participante X. %El participante no podrá tirar durante dos turnos. %Tras esto, el participante cede su turno. accion_pozo(X) :- retract(sin_tirar(X, _)), assert(sin_tirar(X, 2)), cambio_turno(X).

%Determina la acción de una casilla de cárcel, para el participante X. %El participante no podrá tirar durante tres turnos. %Tras esto, el participante cede su turno. accion_carcel(X) :- retract(sin_tirar(X, _)), assert(sin_tirar(X, 3)), cambio_turno(X).

%Determina la acción de una casilla de dados, para el participante X, en la casilla indicada por el segundo argumento. %El participante avanza hasta la siguiente casilla de dados del listado de casillas de dados. %Si el participante ha caído en la última casilla de dados del listado, entonces debe retroceder hasta la primera casilla de dados. %Tras esto, el participante continúa con su turno. accion_dados(X, C) :- dadoss(L), last(L, C), dadoss([CN | _]), mover_a_posicion(X, CN), turno(X), !. accion_dados(X, C) :- dadoss(L), nextto(C, CN, L), mover_a_posicion(X, CN), turno(X).

%Determina la acción de una casilla de puente, para el participante X, en la casilla indicada por el segundo argumento. %El participante avanza hasta el siguiente puente del listado de puentes. %Si el participante ha caído en el último puente del listado, entonces debe retroceder hasta el primer puente. %Tras esto, el participante continúa con su turno. accion_puente(X, C) :- puentes(L), last(L, C), puentes([CN | _]), mover_a_posicion(X, CN), turno(X), !. accion_puente(X, C) :- puentes(L), nextto(C, CN, L), mover_a_posicion(X, CN), turno(X).

%Determina la acción de una casilla de calavera, para el participante X. %El participante debe comenzar el juego de nuevo, desde la posición inicial. %Tras esto, el participante cede su turno. accion_calavera(X) :- mover_a_posicion(X, 0), cambio_turno(X).

Javier Gago Romero

Página 52

FIA


Curso 2016-2017

/* FRASES ASOCIADAS A LAS CASILLAS. */ %Muestra una frase en pantalla según la casilla indicada. frase(63) :- write('Casilla de la VICTORIA --> "¡¡¡La casilla final ha sido alcanzada....!!!"'), !. frase(1) :- write('Casilla de Isaac Asimov.'), nl, write('Isaac Asimov fue un escritor y profesor de bioquímica en la Facultad de Medicina de la Universidad de Boston de origen ruso, nacionalizado estadounidense, conocido por ser un prolífico autor de obras de ciencia ficción, historia y divulgación científica.'), !. frase(2) :- write('Casilla de Philip K. Dick.'), nl, write('Philip K. Dick, fue un prolífico escritor y novelista estadounidense de ciencia ficción, que influyó notablemente en dicho género.'), !. frase(3) :- write('Casilla de Arthur C. Clarke.'), nl, write('Arthur C. Clarke, fue un escritor y científico británico. Autor de obras de divulgación científica y de ciencia ficción, como la novela 2001: Una odisea del espacio, El centinela o Cita con Rama y coguionista de la película 2001: Una odisea del espacio.'), !. frase(4) :- write('Casilla de Ray Bradbury.'), nl, write('Ray Bradbury fue un escritor estadounidense de misterio del género fantástico, terror y ciencia ficción. Principalmente conocido por su obra Crónicas marcianas (1950) y la novela distópica Fahrenheit 451 (1953).'), !. frase(7) :- write('Casilla de Susan Calvin.'), nl, write('La doctora Susan Calvin es un personaje de ficción protagonista en muchos de los cuentos sobre robots del prolífico escritor Isaac Asimov.'), !. frase(8) :- write('Casilla de Hall 9000.'), nl, write('HAL 9000, cuyo nombre es un acrónimo en inglés de Heuristically Programmed Algorithmic Computer (Computador algorítmico heurísticamente programado), es una supercomputadora o superordenador ficticio de tipo mainframe que aparece en las series de Odisea del espacio, iniciada con la novela 2001 A Space Odyssey escrita por Arthur C. Clarke en 1968.'), !. frase(10) :- write('Casilla de Multivac.'), nl, write('Multivac es una supercomputadora ficticia que aparece en muchas de las historias o cuentos de Isaac Asimov, entre 1955 y 1975.'), !. frase(11) :- write('Casilla de Hari Seldon.'), nl, write('Hari Seldon es el héroe intelectual de la Saga de la Fundación de Isaac Asimov. Durante su estancia en la Universidad de Streeling en Trántor desarrolló la psicohistoria, una serie de ecuaciones que le permitían predecir el futuro en términos probabilísticos. Por sus predicciones sobre la decadencia y el final del Imperio Galáctico le acuñaron el apodo de "Cuervo" Seldon.'), !. frase(13) :- write('Casilla de Alan Turing.'), nl, write('Alan Turing fue un matemático, lógico, científico de la computación, criptógrafo, filósofo, maratoniano y corredor de ultra distancia británico. Es considerado uno de los padres de la ciencia de la computación y precursor de la informática moderna.'), !. frase(15) :- write('Casilla de George Boole.'), nl, write('George Boole fue un matemático y lógico británico. Como inventor del álgebra de Boole, que marca los fundamentos de la aritmética computacional moderna, Boole es considerado como uno de los fundadores del campo de las Ciencias de la

Javier Gago Romero

Página 53

FIA


Curso 2016-2017

Computación. En 1854 publicó An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities, donde desarrolló un sistema de reglas que le permitían expresar, manipular y simplificar problemas lógicos y filosóficos cuyos argumentos iten dos estados (verdadero o falso) por procedimientos matemáticos. Se podría decir que es el padre de los operadores lógicos simbólicos y que gracias a su álgebra hoy en día es posible operar simbólicamente para realizar operaciones lógicas.'), !. frase(16) :- write('Casilla de Ramón Llul.'), nl, write('Ramón Llul fue un laico próximo a los franciscanos (pudo haber pertenecido a la Orden Tercera de San Francisco), filósofo, poeta, místico, teólogo y misionero mallorquín. en sus obras filosóficas anticipó la lógica como cálculo mecánico con símbolos en el que se aplicaba un método, los métodos heurísticos de la Inteligencia Artificial, los sistemas generativos, los grafos, las redes semánticas, los diagramas de Venn. Influyó en Montaigne, Pascal, Descartes, Leibnitz, Newton, Pico della Mirandola y Giordano Bruno.'), !. frase(17) :- write('Casilla de Gottlob Frege.'), nl, write('Friedrich Ludwig Gottlob Frege fue un matemático, lógico y filósofo alemán, padre de la lógica matemática y la filosofía analítica.'), !. frase(20) :- write('Casilla de Walter Pitts.'), nl, write('Walter Pitts fue un lógico estadounidense que trabajó en el campo de neurociencia computacional. Propuso teorías de importancia en actividad neuronal y procesos generativos que influyeron en diversos campos como psicología, ciencias cognitivas, filosofía, neurociencias, informática, redes neuronales artificiales, cibernética e inteligencia artificial, junto con lo que ha venido a ser conocido como ciencias generativas. Es recordado para haber escrito, junto con Warren McCulloch, un artículo titulado "Cálculo lógico de Ideas inherentes en la actividad nerviosa" (1943). El mismo propone el primer modelo matemático de una red neuronal artificial. La unidad de este modelo, una neurona sencilla, es todavía el estándar de referencia en el campo de redes neuronales. Es a menudo llamada neurona de McCulloch-Pitts.'), !. frase(21) :- write('Casilla de Warren McCulloch.'), nl, write('Warren McCulloch era un neurólogo y cibernético estadounidense. Recordado por su trabajo con Dusser de Barenne (Yale) y, más tarde, con Walter Pitts (Universidad de Illinois), el cual proveyó los fundamentos para ciertas teorías del cerebro en un número de ensayos clásicos, incluidos Un cálculo lógico de las ideas inmanentes en la actividad nerviosa (1943) y Cómo conocemos los universales: la percepción de las formas visuales y auditivas (1947), ambos en el Boletín de Biofísica Matemática.'), !. frase(22) :- write('Casilla de Martin Fischles.'), nl, write('En 1987 Martin Fischles y Oscar Firschein describieron los atributos de un agente inteligente. Al intentar describir con un mayor ámbito (no sólo la comunicación) los atributos de un agente inteligente, la IA se ha expandido a muchas áreas que han creado ramas de investigación enormes y diferenciadas.'), !. frase(24) :- write('Casilla de Oscar Firschein.'), nl, write('En 1987 Martin Fischles y Oscar Firschein describieron los atributos de un agente inteligente. Al intentar describir con un mayor ámbito (no sólo la comunicación) los atributos de un agente inteligente, la IA se ha expandido a muchas áreas que han creado ramas de investigación enormes y diferenciadas.'), !. frase(25) :- write('Casilla de John Searle.'), nl, write('John Searle es muy conocido por el desarrollo de un experimento mental llamado el argumento de la "habitación china". Lo creó para demostrar que el pensamiento humano no se compone de simples procesos computacionales.'), !. frase(28) :- write('Casilla de John McCarthy.'), nl, write('John McCarthy también conocido como Tío John McCarthy, fue un prominente informático que recibió el Premio Turing en 1971 por sus importantes contribuciones en el campo de la Inteligencia Artificial. De hecho, fue el responsable de introducir el término "inteligencia artificial", concepto que acuñó en la Conferencia de Dartmouth en 1956. También se le atribuye el concepto de cloud computing.'), !. frase(29) :- write('Casilla de Marvin Minsky.'), nl, write('Marvin Minsky fue un científico estadounidense. Es considerado uno de los padres de las ciencias de la computación y cofundador del laboratorio de inteligencia artificial del Instituto Tecnológico de Massachusetts o MIT.'), !. frase(30) :- write('Casilla de Allen Newell.'), nl,

Javier Gago Romero

Página 54

FIA


Curso 2016-2017

write('Allen Newell fue un investigador en informática y psicología cognitiva en la corporación WWE y en la escuela de informática de Carnegie Mellon. Contribuyó al lenguaje de procesamiento de información (IPL) (1956) y a dos de los primeros programas de inteligencia artificial, la máquina de lógica teórica (1956) y el resolutor general de problemas (1957), con Herbert Simon.'), !. frase(33) :- write('Casilla de Herbert Simon.'), nl, write('Herbert Simon fue un economista, politólogo y teórico de las ciencias sociales estadounidense. Recibió el Premio Turing de la ACM en 1975, junto con Allen Newell por hacer "contribuciones básicas a la inteligencia artificial, la psicología cognitiva humana y el procesamiento de listas", y el Award for Distinguished Scientific Contribution de la Asociación Norteamericana de Psicología (APA) en 1969. Además fue designado Miembro Distinguido (Distinguished Fellow) de la Asociación Norteamericana de Economía.'), !. frase(34) :- write('Casilla de William Bradford Shockley.'), nl, write('William Bradford Shockley fue un físico estadounidense. En conjunto con John Bardeen y Walter Ho Brattain, obtuvo el premio Nobel de Física en 1956 "por sus investigaciones sobre semiconductores y el descubrimiento del Transistor."'), !. frase(35) :- write('Casilla de Konrad Zuse.'), nl, write('Konrad Zuse fue un ingeniero alemán y un pionero de la computación. Su logro más destacado fue terminar la primera computadora controlada por programas que funcionaban, la Z3 en 1941.'), !. frase(37) :- write('Casilla de Salvor Hardin.'), nl, write('Salvor Hardin es un personaje ficticio de la novela Fundación del escritor Isaac Asimov. Su frase más célebre es: "La violencia es el último recurso del incompetente".'), !. frase(38) :- write('Casilla de Elijah Baley.'), nl, write('Elijah (Lije) Baley es un personaje ficticio de varias novelas escritas por Isaac Asimov pertenecientes a la serie de los Robots. Es un detective y policía del departamento de Nueva York. Es el personaje principal de Las bóvedas de acero, El sol desnudo y Los robots del amanecer. También es nombrado en Robots e Imperio, que transcurre varios siglos después de su muerte, y en cuentos particulares de Asimov, como Reflejo simétrico.'), !. frase(39) :- write('Casilla de R. Daneel Olivaw.'), nl, write('R. Daneel Olivaw es un robot de ficción creado por Isaac Asimov. Aparece en las series de Robots y Fundación. De forma destacada se puede encontrar en Las bóvedas de acero, El sol desnudo, Los robots del amanecer, Robots e Imperio, Preludio a la Fundación, Hacia la Fundación y Fundación y Tierra. También aparece en todos los libros de la Segunda Trilogía de la Fundación, tales como "El temor de la Fundación" de Gregory Benford, "Fundación y caos" de Greg Bear, y "El triunfo de la Fundación" de David Brin. Daneel es un personaje muy significativo dentro del universo de la Fundación, pues es el personaje unificador de todos los ciclos de la Saga, influyendo sobre el destino de la humanidad en un espacio de tiempo de unos 20.000 años.'), !.

frase(40) :- write('Casilla de Robert Silverberg.'), nl, write('Robert Silverberg es un escritor estadounidense. Muchas son las anécdotas que de él cuenta Isaac Asimov, particularmente en sus recopilaciones de cuentos y en el documento Sobre la ciencia ficción; por ejemplo, dice que tenían la costumbre de llamarse por teléfono cada vez que visitaban una biblioteca, para hacer recuento de los títulos de cada uno que había en dicha biblioteca, y siempre había más de Isaac Asimov. Colaboró en varias revistas del género, como por ejemplo durante el primer ciclo de Venture Science Fiction.'), !. frase(43) :- write('Casilla de Carl Sagan.'), nl, write('Carl Sagan fue un astrónomo, astrofísico, cosmólogo, escritor y divulgador científico estadounidense. Fue un defensor del pensamiento escéptico científico y del método científico, pionero de la exobiología, promotor de la búsqueda de inteligencia extraterrestre a través del Proyecto SETI. Impulsó el envío de mensajes a bordo de sondas espaciales, destinados a informar a posibles civilizaciones extraterrestres acerca de la cultura humana.'), !. frase(44) :- write('Casilla de Robert A. Heinlein.'), nl, write('Robert A. Heinlein fue un escritor estadounidense de ciencia ficción considerado por algunos críticos entre los tres mejores de todos los tiempos, junto con Isaac Asimov y Arthur C. Clarke.'), !. frase(46) :- write('Casilla de Noam Chomsky.'), nl,

Javier Gago Romero

Página 55

FIA


Curso 2016-2017

write('Noam Chomsky es un lingüista, filósofo y activista estadounidense. Es profesor emérito de lingüística en el Instituto Tecnológico de Massachusetts (MIT) y una de las figuras más destacadas de la lingüística del siglo XX, gracias a sus trabajos en teoría lingüística y ciencia cognitiva.'), !. frase(47) :- write('Casilla de Howard Gardner.'), nl, write('Howard Gardner es un psicólogo, investigador y profesor de la Universidad de Harvard, conocido en el ámbito científico por sus investigaciones en el análisis de las capacidades cognitivas y por haber formulado la teoría de las inteligencias múltiples, la que lo hizo acreedor al Premio Príncipe de Asturias de Ciencias Sociales en 2011.'), !. frase(48) :- write('Casilla de Margaret Boden.'), nl, write('Margaret A. Boden es una reconocida experta en Inteligencia Artificial e investigadora en diferentes campos, desde la psicología, a la filosofía y las Ciencias Cognitivas.'), !. frase(49) :- write('Casilla de Verónica Dahl.'), nl, write('Verónica Dahl es una informática teórica argentina-canadiense, reconocida entre los 15 fundadores del campo de la programación lógica.'), !. frase(51) :- write('Casilla de Raúl Rojas.'), nl, write('Raúl Rojas, nacionalizado alemán en 1996, es un profesor de matemáticas e informática de la Universidad Libre de Berlín, en Alemania, y un reconocido experto en redes neuronales artificiales e inteligencia artificial. Los robots de fútbol FUFighters construidos en su equipo de investigación fueron campeones mundiales en 2004 y 2005. En este momento se dedica a un proyecto de automóvil sin piloto llamado Spirit of Berlin.'), !. frase(55) :- write('Casilla de Richard Greenblatt.'), nl, write('Richard D. Greenblatt es un programador informático estadounidense. Junto con Bill Gosper, es considerado como el fundador de la comunidad hacker. Ocupa un lugar de distinción en las comunidades de Lisp y el MIT AI Lab.'), !. frase(56) :- write('Casilla de Joseph Halpern.'), nl, write('Joseph Halpern es un profesor de ciencias de la computación en la Universidad Cornell. La mayoría de su investigación trata de razonamiento sobre conocimiento e incertidumbre.'), !. frase(57) :- write('Casilla de Arthur L. Samuel.'), nl, write('Arthur L. Samuel fue un pionero en el campo de los juegos informáticos y la inteligencia artificial y el creador de uno de los primeros juegos didácticos como demostración muy temprana de el concepto de la inteligencia artificial (AI).'), !. frase(60) :- write('Casilla de William Ross Ashby.'), nl, write('William Ross Ashby fue un médico y neurólogo inglés, que contribuyó decisivamente a la consolidación de la cibernética moderna y creó el primer homeostato (1951), dispositivo electrónico autorregulado por retroalimentación. Desde las especialidades de la neurología y la psiquiatría, ofreció la reproducción de la estructura y mecanismos de funcionamiento del cerebro humano en sus obras Proyecto para un cerebro (1942) e Introducción a la cibernética (1956).'), !. frase(61) :- write('Casilla de Lotfi A. Zadeh.'), nl, write('Lotfi A. Zadeh es un matemático, ingeniero eléctrico, informático y profesor azerbaiyano de la Universidad de Berkeley. Es famoso por introducir en 1965 la teoría de conjuntos difusos o lógica difusa. Se le considera asimismo el padre de la teoría de la posibilidad.'), !. frase(62) :- write('Casilla de Philippe Roussel.'), nl, write('Philippe Roussel es Doctor en Informática, y creador junto con Alain Colmerauer y Robert Kowalski del lenguaje de programación Prolog.'), !. frase(C) :- calavera(C), write('Casilla de Retract --> "Borran una regla del programa que aportaba información sobre tu posición en el tablero. Mala suerte, debes comenzar de nuevo desde la casilla 0".'), !. frase(C) :- oca(C), write('Casilla de Buhito --> "De buhito a buhito, y tiro otro poquito...".'), !. frase(C) :- laberinto(C), write('Casilla de Recursión --> "De la recursión al 30".'), !.

Javier Gago Romero

Página 56

FIA


Curso 2016-2017

frase(C) :- posada(C), write('Casilla de Error Lógico --> "Un error en la lógica de Prolog hace que pierdas dos turnos".'), !. frase(C) :- pozo(C), write('Casilla de Rama Infinita --> "Pierdes dos turnos al caer en una rama infinita".'), !. frase(C) :- carcel(C), write('Casilla de Error Sintáctico --> "Un error sintáctico que debes corregir, te hace perder tres turnos".'), !. frase(C) :- dados(C), write('Casilla de Corte --> "De corte en corte y tiro como un resorte...".'), !. frase(C) :- puente(C), write('Casilla de Predicado --> "De predicado a predicado, y tiro según se ha determinado...".'), !. frase(C) :- casilla(C), write('Casilla Normal --> "Una casilla normal y corriente."').

/* AMNESIA DEL JUGADOR. */ %Comprueba la amnesia del participante, para ver si puede recuperar parte de su memoria. %En el caso de que no pueda recuperar parte de su memoria, la última regla del predicado hace válido el objetivo siempre. %Es decir, es un predicado que siempre será cierto, pero puede o no realizar más acciones al recuperar parte de la amnesia o no. comprobar_amnesia(jugador) :- amnesia(jugador, global), tirada(T), T >= 5, nl, write('¡Wowww, parece que esta victoria me ha abierto la mente....!'), nl, nl, write('Muchos pensamientos me invanden en este momento....'), nl, nl, write('¡¡YA RECUERDO MI NOMBRE!!'), nl, nl, write('(NOTA: A continuación, escriba su nombre en minúsculas y sin espacios, p. e.: javier., o escribalo entre comillas simples o dobles, p. e.: "Javier Gago".)'), nl, write('Mi nombre es: '), read(NOMBRE), skip(10), nl, retract(nombre(jugador, _)), assert(nombre(jugador, NOMBRE)), actualizar_diario(jugador, '"¡Hoy es un gran día! ¡Acabo de recordar mi nombre! Al fin ya sé como me llamo, y sin duda estoy más cerca de recuperar toda mi memoria".'), retract(amnesia(jugador, global)), assert(amnesia(jugador, retrograda)), write('¡Eso es! Mi nombre es: '), escribir_nombre(jugador), nl, nl, !. comprobar_amnesia(jugador) :- amnesia(jugador, retrograda), tirada(T), T >= 5, nl, write('¡Wowww, esta victoria me ha hecho recuperar mis recuerdos....!'), nl, nl, write('¡¡YA RECUERDO QUE HA SUCEDIDO!!'), nl, nombre_proyecto(NOMBRE), retract(nombre(u, _)), assert(nombre(u, NOMBRE)),

Javier Gago Romero

Página 57

FIA


Curso 2016-2017

actualizar_diario(jugador, '"¡Al fin recuerdo lo sucedido! ¡Y el código lo he desarrollado yo, así que ya puedo entregar la práctica! ¡Genial! Aunque aún tengo tiempo para seguir jugando unas partidas... Ya conseguí también abrir la habitación y ya no es necesario que continúe escribiendo en este diario".'), esperar_intro, retract(amnesia(jugador, retrograda)), assert(amnesia(jugador, curada)), write('¡Yo desarrollé todo ese código Prolog!.'), nl, nl, write('Había pasado muchas horas sin dormir, absorto entre manuales de Prolog y cafeína. ¡No es nada bueno trabajar tanto sin tomar un descanso! Es algo que he de tener muy presente.'), nl, nl, write('Me había obsesionado con la seguridad, pensando que intentaban robarme el código, hasta tal punto de cerrar el cuarto bajo llave.'), nl, nl, write('La llave estaba escondida en el interior del buzo del acuario que hay en la habitación.'), nl, nl, write('Finalmente, el sueño me pudo, y di un fuerte golpe en la mesa que me hizo perder la memoria durante un tiempo. Espero que sólo sea un susto, y no quede en nada grave.'), nl, nl, write('Además, ahora recuerdo el nombre que le había dado a la IA cuando desarrollé el juego de la Prolog-Oca.'), nl, nl, write('¡Su nombre es '), escribir_nombre(u), write('!'), nl, esperar_intro, !. comprobar_amnesia(_).

/* DIARIO DEL JUGADOR. */ %Inserta la entrada E a la cabeza de la lista de entradas L. insertar_entrada_diario(E, L, [E|L]).

%Actualizar el diario del participante X con la entrada E. actualizar_diario(X, E) :- diario(X, L), insertar_entrada_diario(E, L, LN), retract(diario(X, _)), assert(diario(X, LN)), nl, write('¡Tienes una nueva entrada en tu diario!'), nl, nl.

%Predicado que determina si hay que escribir en el diario. %Para ello, comprueba si el participante X sigue teniendo algún tipo de amnesia no curada. %En caso afirmativo, procede a seleccionar una entrada posible teniendo en cuenta que la partida la ganó el participante G. %Si no hay que escribir en el diario, entonces se da por cumplido el objetivo sin realizar ninguna acción adicional.

Javier Gago Romero

Página 58

FIA


Curso 2016-2017

escribir_diario(X, _) :- amnesia(X, curada), !. escribir_diario(X, G) :- amnesia(X, _), entradas(G, L), proper_length(L, LONG), I is random(LONG), nth0(I, L, E), actualizar_diario(X, E), !. escribir_diario(_, _).

/* MENÚS DE . */ %%%%%%%%%%%%%%%%%%%%%%%%%%%% %MENÚ DE ACCIONES DEL TURNO% %%%%%%%%%%%%%%%%%%%%%%%%%%%%

%Representa en pantalla el menú de las acciones que se pueden realizar durante un turno para el participante X. menu_turno(X) :- write('-----------------------'), nl, write('MENÚ ACCIONES DEL TURNO'), nl, write('-----------------------'), nl, write('1.- Lanzar dado.'), nl, write('2.- Ver tablero.'), nl, write('0.- Rendirse.'), nl, nl, write('Introduzca una opción [0 - 2]: '), nl, read(OPCION), skip(10), nl, menu_turno(X, OPCION).

%Ejecuta para el participante X, la opción indicada en el segundo argumento, del menú de acciones en un turno. menu_turno(X, 1) :- lanzar_dado(X), !. menu_turno(X, 2) :- participante(X), dibujar_tablero, esperar_intro, nl, nl, menu_turno(X), !. menu_turno(X, 0) :- participante(X), rendirse(X), !. menu_turno(X, _) :- participante(X), write('Opción incorrecta. Debe elegir una opción en el rango [0-2].'), nl, nl, menu_turno(X).

%%%%%%%%%%%%%%%%% %MENÚ DEL DIARIO% %%%%%%%%%%%%%%%%%

%Representa en pantalla el menú del diario del participante indicado en el primer argumento, con el diario en la entrada numerada en el segundo argumento.

Javier Gago Romero

Página 59

FIA


Curso 2016-2017

menu_diario(X, P) :- write('---------------'), nl, write('MENÚ DEL DIARIO'), nl, write('---------------'), nl, write('1.- Leer la última entrada escrita del diario.'), nl, write('2.- Pasar página del diario y leerla.'), nl, write('0.- Volver.'), nl, nl, write('Introduzca una opción [0 - 2]: '), nl, read(OPCION), skip(10), nl, menu_diario(X, P, OPCION).

%Ejecuta para el participante X, la opción indicada en el tercer argumento, del menú del diario, teniendo el diario abierto por la página indicada en el segundo argumento. menu_diario(X, _, 1) :- diario(X, L), nth1(1, L, E), proper_length(L, LONG), nl, write('Página '), write(LONG), write(':'), nl, nl, write(E), nl, nl, esperar_intro, menu_diario(X, 1), !. menu_diario(X, _, 1) :- nl, write('No hay entradas en el diario.'), nl, nl, esperar_intro, menu_diario(X, 1), !. menu_diario(X, P, 2) :- diario(X, L), PN is P + 1, proper_length(L, LONG), PN > LONG, nl, write('No hay más entradas en el diario.'), nl, nl, esperar_intro, menu_diario(X, P), !. menu_diario(X, P, 2) :- diario(X, L), PN is P + 1, proper_length(L, LONG), nth1(PN, L, E), nl, N is LONG - P, write('Página '), write(N), write(':'), nl, nl, write(E), nl, nl, esperar_intro, menu_diario(X, PN), !. menu_diario(X, P, 2) :- nl, write('No hay entradas en el diario.'), nl, nl, esperar_intro, menu_diario(X, P), !.

Javier Gago Romero

Página 60

FIA


Curso 2016-2017

menu_diario(_, _, 0) :- !. menu_diario(X, P, _) :- write('Opción incorrecta. Debe elegir una opción en el rango [0-2].'), nl, nl, menu_diario(X, P).

%%%%%%%%%%%%%%%% %MENÚ PRINCIPAL% %%%%%%%%%%%%%%%%

%Representa en pantalla el menú principal del juego. menu_principal :- write('--------------'), nl, write('MENÚ PRINCIPAL'), nl, write('--------------'), nl, write('1.- Jugar nueva partida.'), nl, write('2.- Consultar estadísticas.'), nl, write('3.- Reglas del juego.'), nl, write('4.- Historia y curiosidades sobre el juego de la oca.'), nl, write('5.- Leer diario.'), nl, write('6.- Leer de nuevo la introducción.'), nl, write('7.- Acerca de.'), nl, write('0.- Salir.'), nl, nl, write('Introduzca una opción [0 - 7]: '), nl, read(OPCION), skip(10), nl, menu_principal(OPCION).

%Ejecuta el número de opción indicada del menú principal del juego. menu_principal(1) :- nueva_partida, menu_principal, !. menu_principal(2) :- estadisticas, nl, menu_principal, !. menu_principal(3) :- reglas, nl, menu_principal, !. menu_principal(4) :- historia_y_curiosidades, nl, menu_principal, !. menu_principal(5) :- menu_diario(jugador, 1), menu_principal, !. menu_principal(6) :- introduccion, nl, menu_principal, !. menu_principal(7) :- acerca_de, nl, menu_principal, !. menu_principal(0) :- salir, !. menu_principal(_) :- write('Opción incorrecta. Debe elegir una opción en el rango [0-7].'), nl, nl, menu_principal.

Javier Gago Romero

Página 61

FIA


Curso 2016-2017

/* INFORMACIÓN ESTADÍSTICA DE LAS PARTIDAS JUGADAS. */ %%%%%%%%%%%%% %INFORMACIÓN% %%%%%%%%%%%%%

%Muestra información estadística de las partidas jugadas. estadisticas :- write('-----------------------'), nl, write('INFORMACIÓN ESTADÍSTICA'), nl, write('-----------------------'), nl, escribir_nombre(jugador), write(' VS '), escribir_nombre(u), nl, nl, victorias(jugador, VJ), victorias(u, VC), PJ is VJ + VC, write('Partidas Jugadas: '), write(PJ), write('.'), nl, write('Partidas Ganadas por '), escribir_nombre(jugador), write(': '), write(VJ), write('.'), nl, write('Partidas Ganadas por '), escribir_nombre(u), write(': '), write(VC), write('.'), nl, grafica_partidas.

%%%%%%%%% %GRÁFICA% %%%%%%%%%

%Muestra la gráfica de partidas ganadas por el jugador frente a las ganadas por la U. grafica_partidas :- victorias(jugador, VJ), victorias(u, VC), PJ is VJ + VC, PJ == 0, write('Aún no se han jugado partidas. No hay gráfica que representar.'), nl, !. grafica_partidas :- victorias(jugador, VJ), victorias(u, VC),

Javier Gago Romero

Página 62

FIA


Curso 2016-2017

PJ is VJ + VC, nl, write('*******'), nl, write('GRÁFICA'), nl, write('*******'), nl, write('J: '), dibujar_grafica(jugador), write(' ('), PCJ is VJ / PJ * 100, format('~2f', [PCJ]), write('%).'), nl, write('C: '), dibujar_grafica(u), write(' ('), PCC is VC / PJ * 100, format('~2f', [PCC]), write('%).'), nl, nl, write('J -> '), escribir_nombre(jugador), write('; '), write('C -> '), escribir_nombre(u), write('.'), nl.

%Dibuja la barra gráfica de victorias del participante X. dibujar_grafica(X) :- victorias(X, V), dibujar_grafica(V, 0).

%Dibuja una barra gráfica de victorias. El valor alcanzado debe ser V, y actualmente está en el valor N. %Si N es mayor o igual que V, se produce el caso base de la recursión, y se finaliza de dibujar la barra. %Si no se está en el caso base, entonces se representa una barra vertical, y se llama de nuevo recursivamente %al predicado dibujar_grafica, incrementando el segundo argumento en uno. dibujar_grafica(V, N) :- N >= V, !. dibujar_grafica(V, N) :- write('|'), M is N + 1, dibujar_grafica(V, M).

/* MENSAJES DE INICIO DEL PROGRAMA. */ %Escribe la cabecera del programa. titulo_programa :- write('---------------------------------------'), nl, write('Fundamentos de Inteligencia Artificial.'), nl, write('Actividad Obligatoria 2.'), nl, write('---------------------------------------'), nl, write('*************************'), nl, write('EL JUEGO DE LA PROLOG-OCA'), nl, write('*************************'), nl, write('Javier Gago Romero, Curso 2016-2017.'), nl.

Javier Gago Romero

Página 63

FIA


Curso 2016-2017

%Escribe en pantalla una breve historia de introducción al juego. introduccion :- write('Nuestra historia comienza en el curso académico 2016-2017. Un estudiante de Fundamentos de Inteligencia Artificial, cuyo nombre es incierto, se disponía a comenzar la actividad obligatoria 2 de la asignatura.'), nl, nl, write('Lo primero que hizo nuestro alumno, fue acceder al curso virtual, leer los mensajes del foro, y acto seguido, proceder a descargar el enunciado de la práctica que estaba ya disponible.'), nl, nl, esperar_intro, dibujar_curso_virtual, esperar_intro, write('La práctica consistía en realizar un sistema basado en reglas, empleando el lenguaje Prolog, creando un mundo virtual que debía cumplir con una serie de requisitos.'), nl, nl, write('El primer paso consistía, en idear ese mundo virtual, tener una idea sobre qué hacer, y para ello, debía elegir un tema de los indicados en el enunciado de la actividad.'), nl, nl, write('¿De qué hacer la práctica? ¿Las vacaciones? ¿La familia? ¿Mascotas tal vez?... había una buena cantidad de temas para ello.'), nl, nl, write('Con mucha ilusión, el alumno comenzó a sumergirse entre manuales de Prolog e instaló el intérprete SWIPROLOG en su equipo.'), nl, esperar_intro, write('El logo del intérprete de Prolog, un búho de color naranja, le llamó la atención y le resultó divertido.'), nl, nl, write('Sin embargo, aunque el estudiante comenzó con mucha ilusión, las primeras horas fueron duras, pues no llegaba la inspiración...'), nl, nl, write('"¿QUÉ TEMA ELEGIR?" - se preguntaba continuamente.'), nl, nl, esperar_intro, write('Pasaron unos días, sin que la inspiración llegara.'), nl, nl, write('El alumno decidió entonces navegar un poco para distraerse, y ver si la idea llegaba sin más.'), nl, nl, write('El logo del búho naranja, volvía a su mente cada vez que intentaba pensar en alguna otra cosa.'), nl, nl, write('"¿Sería buena idea una práctica de mascotas, donde la mascota fuera un búho naranja?" - se preguntaba el alumno.'), nl, esperar_intro, write('Navegando por la red, localizó merchandising sobre el intérprete SWI-PROLOG.'), nl, nl, write('"¡Vaya!, pero si venden de todo, desde tazas de café hasta camisetas." - se sorprendió el alumno.'), nl, nl, write('Entonces, pensó que sería una buena idea tener una taza del búho naranja. Le había gustado mucho, y quién sabe, igual le llegaba la inspiración con ella.'), nl, esperar_intro, write('Al dia siguiente, su pedido llegó... ¡La taza que quería! Y dibujada en ella, por supuesto estaba el búho del SWI.'), nl, dibujar_buhito, nl, esperar_intro, write('El alumno sirvió café en su nueva taza, y retomó el enunciado de la actividad con energías renovadas.'), nl, nl, write('¡Estaba convencido de que ahora SÍ, llegaría por fin la inspiración.....!'), nl, nl,

Javier Gago Romero

Página 64

FIA


Curso 2016-2017

write('Sin embargo, el cansancio se apoderó del alumno, y a pesar de haber bebido buena cantidad de café, cayó finalmente en los brazos de Morfeo...'), nl, nl, esperar_intro, dormir(0.2, 4), esperar_intro, write('Nuestro querido alumno despertó entonces... pero algo era diferente ahora.'), nl, nl, write('¿¿¿QUÉ HABÍA OCURRIDO???'), nl, nl, write('¡NO RECORDABA TAN SIQUIERA SU PROPIO NOMBRE!.'), nl, nl, write('Su equipo estaba encendido, con el intérprete de Prolog en ejecución. El fichero que estaba ejecutándose se denominaba "juegoPrologOca.pl".'), nl, esperar_intro, write('¿Habría escrito él todo ese código? Parecía un extraño juego de la oca, ya implementado.'), nl, nl, write('Sin embargo, en el código aún no había comentarios, ni ningún documento que le permitiera recordar o averigüar algo sobre esto.'), nl, nl, write('Pero peor aún, ¡LA PUERTA DE LA HABITACIÓN ESTABA CERRADA BAJO LLAVE!'), nl, nl, write('¿Le habría encerrado alguien ahí? Y de ser así... ¿con qué propósito?'), nl, nl, write('El alumno registró toda la habitación en busca de alguna llave, o alguna pista que le permitiera recordar algo... pero nada...'), nl, nl, write('¡MENUDA LOCURA!'), nl, nl, write('La única forma de intentar hacer que las cosas vuelvan a su normalidad, es intentar jugar a aquel extraño juego de la oca, y ver si eso despertaba sus recuerdos.'), nl, write('Quizás, mantener un diario hasta recuperar la memoria, podría serle útil para organizar sus pensamientos e ideas. Había muchas incógnitas por resolver.'), nl, nl, write('Con este pensamiento, el alumno teclea "inicio." en el intérprete de Prolog para comenzar la ejecución del programa.'), nl, esperar_intro, write('Bienvenidos al juego de la Prolog-Oca.'), nl, write('Mucha suerte, la necesitarás.'), nl, esperar_intro.

/* MOSTRAR INFORMACIÓN EN EL PROGRAMA. */ %Muestra en pantalla las reglas del juego. reglas :- write('----------------'), nl, write('REGLAS DEL JUEGO'), nl, write('----------------'), nl, nl,

Javier Gago Romero

Página 65

FIA


Curso 2016-2017

write('El juego de la Prolog-Oca es el clásico juego de la oca, pero en un tablero con temática sobre Inteligencia Artificial.'), nl, write('Hay diversas variantes del juego tradicional, y a menudo suelen añadirse "reglas caseras", que añaden ciertas diferencias en la manera de jugar.'), nl, nl, write('Debido a esto, a continuación se detallan todas las reglas del juego de la Prolog-Oca:'), nl, write(' -> Cada participante lanza un dado de 6 caras (d6), durante su turno.'), nl, write(' -> El jugador avanza por el tablero tantas casillas como se indique en el dado lanzado. El tablero tiene 63 casillas.'), nl, write(' -> El objetivo, es ser el primer jugador en llegar a la casilla de la victoria, que es la casilla número 63.'), nl, write(' -> Si un jugador debe desplazarse más allá de la casilla 63, entonces rebota, y cuenta hacia atrás las casillas en exceso. Es decir, debe caer exactamente en la casilla para ganar.'), nl, write(' Por ejemplo, si un jugador se encuentra en la casilla 62, necesita un 1 para caer en la casilla 63. Si obtiene un 3 en los dados, entonces cuenta 63, 62, 61, y pasa a la casilla 61.'), nl, write(' -> Si el jugador cae en una casilla normal, entonces cede su turno al siguiente participante.'), nl, write(' -> Si el jugador cae en una casilla especial, entonces se aplican las reglas de dicha casilla. Dependiendo de la casilla, es posible que el jugador continue volviendo a lanzar el dado, sin ceder su turno.'), nl, nl, esperar_intro, write('A continuación se indican las casillas especiales:'), nl, nl, write('CASILLA DE BUHITO'), nl, write('Se corresponde con la casilla de oca, del juego tradicional. El jugador avanza hasta la siguiente casilla de buhito, y vuelve a lanzar los dados sin ceder el turno.'), nl, nl, write('CASILLA DE PREDICADO'), nl, write('Se corresponde con la casilla de puente, del juego tradicional. El jugador se desplaza hasta otra casilla de predicado. Si no hay más casillas de predicado hacia delante en el tablero, entonces el jugador retrocede a la anterior casilla de predicado. Cuando el jugador cae en estas casilla continua lanzando sus dados, y no cede su turno.'), nl, nl, write('CASILLA DE CORTE'), nl, write('Se corresponde con la casilla de dados, del juego tradicional. El jugador se desplaza hasta otra casilla de corte. Si no hay más casillas de corte hacia delante en el tablero, entonces el jugador retrocede a la anterior casilla de corte. Cuando el jugador cae en estas casilla continua lanzando sus dados, y no cede su turno.'), nl, nl, write('CASILLA DE ERROR LÓGICO'), nl, write('Se corresponde con la casilla de posada, del juego tradicional. El jugador que cae en esta casilla pierde dos turnos, en los cuales no puede lanzar los dados, y debe esperar.'), nl, nl, esperar_intro, write('CASILLA DE RAMA INFINITA'), nl, write('Se corresponde con la casilla del pozo, del juego tradicional. El jugador que cae en esta casilla pierde dos turnos, en los cuales no puede lanzar los dados, y debe esperar.'), nl, nl, write('CASILLA DE ERROR SINTÁCTICO'), nl, write('Se corresponde con la casilla de cárcel, del juego tradicional. El jugador que cae en esta casilla pierde tres turnos, en los cuales no puede lanzar los dados, y debe esperar.'), nl, nl, write('CASILLA DE RECURSIÓN'), nl, write('Se corresponde con la casilla de laberinto, del juego tradicional. El jugador que cae en esta casilla se desplaza inmediatamente hasta la casilla 30.'), nl, nl,

Javier Gago Romero

Página 66

FIA


Curso 2016-2017

write('CASILLA DE RETRACT'), nl, write('Se corresponde con la casilla de calavera, del juego tradicional. El jugador que cae en esta casilla se desplaza inmediatamente hasta la casilla 0, por lo que debe comenzar el recorrido por el tablero de nuevo.'), nl, nl, write('CASILLA DE VICTORIA'), nl, write('Se corresponde con la última casilla, casilla 63, del juego tradicional. El jugador que cae en esta casilla gana la partida.'), nl.

%Muestra en pantalla historia y curiosidades del juego de la oca. historia_y_curiosidades :- write('-------------------------------------------'), nl, write('HISTORIA Y CURIOSIDADES DEL JUEGO DE LA OCA'), nl, write('-------------------------------------------'), nl, nl, write('El juego de la oca es un juego de mesa para dos o más jugadores. Cada jugador avanza su ficha por un tablero en forma de espiral con 63 casillas con dibujos. Dependiendo de la casilla en la que se caiga, se puede avanzar o por el contrario retroceder, y en algunas de ellas está indicado un castigo. En su turno cada jugador tira dos dados (o uno dependiendo de las distintas versiones) que le indican el número de casillas que debe avanzar. Gana el juego el primer jugador que llega a la casilla 63, "el jardín de la oca".'), nl, nl, write('HISTORIA'), nl, write('--------'), nl, write('Las primeras versiones comerciales del juego aparecieron en la década de 1880 y estaban decoradas con motivos alusivos a la época, como por ejemplo niños con vestidos del momento. Se supone que la primera versión fue un juego de mesa regalado por Francisco I de Médici de Florencia a Felipe II de España entre 1574 y 1587. El Ejemplar más antiguo que se conoce de este juego data del 1640 realizado en madera de origen veneciano.'), nl, nl, write('ORIGEN'), nl, write('------'), nl, write('Existen tres versiones sobre su origen:'), nl, write(' -> Podría ser una creación de los griegos durante el asedio a Troya. Esta teoría se basa en el disco de Phaistos, procedente del 2000 a. C., que podría ser un tablero del juego.'), nl, write(' -> Otros piensan que nació en la Florencia de los Médici y que luego se extendió por las cortes de Europa.'), nl, write(' -> La última teoría afirma que lo crearon los templarios en el siglo XII inspirándose en el Camino de Santiago. También se le relaciona con los buenos constructores en la época de Alfonso I el Batallador.'), nl, nl, esperar_intro, write('CASILLAS ESPECIALES'), nl, write('-------------------'), nl, write('LA OCA'), nl, write('Se encuentran normalmente ubicadas cada nueve casillas desde las casillas 5 y 9. Cuando se cae en una de estas casillas, se avanza hasta la siguiente oca y, en ocasiones, se vuelve a tirar. Tradicionalmente se dice "de oca a oca y tiro porque me toca" (o "de oca en oca y tiro porque me toca".'), nl, write('En ciertas versiones también hay que fijarse en los picos de las ocas, si están hacia delante, hay que seguir hacia adelante, pero si el pico está hacia atrás, hay que retroceder. O puedes quedarte en el sitio que estás si la casilla tiene un número impar.'), nl, nl,

Javier Gago Romero

Página 67

FIA


Curso 2016-2017

write('EL PUENTE'), nl, write('Se encuentran normalmente ubicados en las casillas 6 y 12. Cuando se cae en una de estas casillas, se avanza o retrocede hasta el otro puente y, en ocasiones, se vuelve a tirar. Tradicionalmente se dice "de puente a puente y tiro porque me lleva la corriente".'), nl, nl, write('LA POSADA'), nl, write('Se encuentra normalmente ubicada en la casilla 19. Cuando se cae en esta casilla, suelen perderse 2 turnos. En algunas ocasiones dependiendo de cuántos días aparezcan escritos en el dibujo.'), nl, nl, write('EL POZO'), nl, write('Se encuentra normalmente ubicado en la casilla 31. Cuando se cae en esta casilla, suelen o bien perderse 2 turnos o bien permanecer el jugador sin jugar hasta que otro caiga en su lugar. Y si están jugando sólo dos personas y el otro jugador cae en la calavera y empieza del principio, el castigo de estar sin jugar se invalida y se sigue jugando normal, saliendo del pozo en cuanto te toque tirar.'), nl, nl, esperar_intro, write('LOS DADOS'), nl, write('Se encuentran normalmente ubicados en las casillas 26 y 53. Cuando se cae en una de estas dos casillas, se suman las cifras que aparezcan en la casilla y se avanza ese número de casillas. Existen otras versiones en las que se avanza o se retrocede a la otra con el mismo dibujo y se vuelve a tirar diciendo "De dado a dado y tiro porque me ha tocado", "De dados a dados y tiro porque son cuadrados" o "De dados a dados y tiro por los soldados" en las que simplemente se vuelve a tirar. También existe la regla de que cayendo en los dados de la casilla 26, si en la siguiente tirada saca un 3 en el dado, pasa el jugador a la 53, "en los dados, con un tres, paso a la cincuenta y tres".'), nl, nl, write('EL LABERINTO'), nl, write('Ubicado en la casilla 42, cuando se cae en el laberinto, se está obligado a retroceder a la casilla 30. Se suele decir: "Del laberinto al 30". En otras versiones, se queda atrapado y no se puede seguir avanzando hasta sacar un determinado número con los dados.'), nl, nl, write('LA CÁRCEL'), nl, write('Ubicada en la casilla 52, cuando se cae en la cárcel, suelen perderse 3 turnos. Otra opción es que si se cae en la cárcel, la ficha queda inmovilizada hasta que otro jugador caiga y te rescate, quedando éste atrapado.'), nl, nl, write('LA CALAVERA O LA MUERTE'), nl, write('Ubicada en la casilla 58, cuando se cae en la calavera o muerte, se vuelve a empezar desde la casilla de inicio.'), nl, nl, write('ÚLTIMA CASILLA'), nl, write('Usualmente el juego tiene 63 casillas y se debe llegar a la última con el puntaje exacto, de lo contrario se retrocede tantas casillas como puntos sobren.'), nl, nl, esperar_intro, write('JUEGO DE LA OCA EN TELEVISIÓN'), nl, write('-----------------------------'), nl, write('El gran juego de la oca fue también un exitoso programa de juegos de la televisión española.'), nl, nl, write('CAMPEONATO DEL MUNDO DE LA OCA'), nl, write('------------------------------'), nl, write('Se realiza en la localidad de Alpartir, el primer fin de semana de octubre.'), nl, nl, write('VERSIONES'), nl, write('---------'), nl,

Javier Gago Romero

Página 68

FIA


Curso 2016-2017

write('Existe una versión relacionada con los juegos de beber, llamada: Ocalimocho.'), nl.

%Muestra en pantalla el Acerca De del programa. acerca_de :- write('Acerca de ... El juego de la Prolog-Oca. Curso 2016-2017. Javier Gago Romero.'), nl, nl, write('El juego de la Prolog-Oca es el clásico juego de la oca, con un tablero con temática sobre Inteligencia Artificial, e implementado en lenguaje Prolog.'), nl.

/* REPRESENTACIONES GRÁFICAS EN EL JUEGO. */ %Dibuja un dado, visto desde la cara de la puntuación indicada mediante argumento. dibujar_dado(1) :- write(' ----- '), nl, write('|

|'), nl,

write('| . |'), nl, write('|

|'), nl,

write(' ----- '), nl. dibujar_dado(2) :- write(' ----- '), nl, write('| . |'), nl, write('|

|'), nl,

write('| . |'), nl, write(' ----- '), nl. dibujar_dado(3) :- write(' ----- '), nl, write('| . |'), nl, write('| . |'), nl, write('| . |'), nl, write(' ----- '), nl. dibujar_dado(4) :- write(' ----- '), nl, write('| . . |'), nl, write('|

|'), nl,

write('| . . |'), nl, write(' ----- '), nl. dibujar_dado(5) :- write(' ----- '), nl, write('| . . |'), nl,

Javier Gago Romero

Página 69

FIA


Curso 2016-2017

write('| . |'), nl, write('| . . |'), nl, write(' ----- '), nl. dibujar_dado(6) :- write(' ----- '), nl, write('| . . |'), nl, write('| . . |'), nl, write('| . . |'), nl, write(' ----- '), nl.

%Dibuja el tablero del juego. dibujar_tablero :- write('.-------------------------------------------------.'), nl, write('| 25 | 24 | 23 | 22 | 21 | 20 | 19 | 18 | 17 | 16 |'), nl, write('| | | B | | | |

| B | | EL |'), nl,

write('|-------------------------------------------------|'), nl, write('| 26 | 51 | 50 | 49 | 48 | 47 | 46 | 45 | 44 | 15 |'), nl, write('| C | | B | | | | | B | | |'), nl, write('|-------------------------------------------------|'), nl, write('| 27 | 52 |

Buhito

| 43 | 14 |'), nl,

write('| B | ES | /\\------------/\\

| | B |'), nl,

write('|---------. | ^O """" O^ |

.---------|'), nl,

write('| 28 | 53 | | \\ write('| | C | | write('|---------. |

\\ /

/ |

63 | 42 | 13 |'), nl,

|

| R | |'), nl,

\\/ ictoria.

write('| 29 | 54 | ^---" -----"---^ write('| | B |

.--------------|'), nl, | 62 | 41 | 12 |'), nl,

| | B | P |'), nl,

write('|-------------------------------------------------|'), nl, write('| 30 | 55 | 56 | 57 | 58 | 59 | 60 | 61 | 40 | 11 |'), nl, write('| | | | | RT | B | | | | |'), nl, write('|-------------------------------------------------|'), nl, write('| 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 10 |'), nl, write('| RI | B | | | | B | | | | |'), nl, write('|-------------------------------------------------|'), nl, write('| 1

| 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 |'), nl,

write('|

| | | | B | P | | | B |'), nl,

Javier Gago Romero

Página 70

FIA


Curso 2016-2017

write('^-------------------------------------------------^'), nl, nl, posicion(jugador, PJ), posicion(u, PC), escribir_nombre(jugador), write(' está en la casilla '), write(PJ), write('.'), nl, escribir_nombre(u), write(' está en la casilla '), write(PC), write('.'), nl, nl, write('LEYENDA'), nl, write('-------'), nl, write('B: Buhito; P: Predicado; EL: Error Lógico; C: Corte; RI: Rama Infinita; R: Recursión; ES: Error Sintáctico; RT: Retract.; V: Victoria.'), nl.

%Dibuja el buhíto que representa al logo del intérprete de Prolog, SWI. dibujar_buhito :- write('.___.'), nl, write('(@,@)'), nl, write('( _ )'), nl, write(' " "').

dibujar_curso_virtual :- write('

_________________________________________'), nl,

write(' .\'`

`\'.'), nl,

write(' | _________________________________________ |'), nl, write(' | \'\\.---------------------------------------./\' |'), nl, write(' | || |UNED| uForums

|| |'), nl,

write(' | || ----------------------------------.

|| |'), nl,

write(' | || ||U| https://2017.cursosvirtual.. | write(' | || ----------------------------------¨

|| |'), nl, || |'), nl,

write(' | || Mi curso | Nombre del foro write(' | || -------- |

|| |'), nl,

|| |'), nl,

write(' | || Plan de T..|Consultas generales

|| |'), nl,

write(' | || Novedades |Consultas sobre el bloque I || |'), nl, write(' | || Envío de.. |Consultas sobre el bloque II|| |'), nl, write(' | || Califica.. |Consultas sobre el bloque.. || |'), nl, write(' | || Tutoría write(' | ||

|Consultas sobre el bloque IV|| |'), nl,

|Consultas sobre el bloque V || |'), nl,

write(' | || Mi calend..|Consultas sobre el bloque VI|| |'), nl, write(' | ||

|Consultas sobre la activ.. || |'), nl,

write(' | || Grados

|.......................... || |'), nl,

write(' | || Fundament..|

Javier Gago Romero

|| |'), nl,

Página 71

FIA


Curso 2016-2017

write(' | \'/\\_______________________________________/\\\' |'), nl, write(' \' `-----------------------------------------\' '), nl, write('

\\

.-.

/'), nl,

write('

\'.__~~~ ____()__()_()()() __________((_))__.\''), nl,

write(' _________________\';========;\'__________________'), nl, write(' / _/__/_//_// _/_/ /_//_// __/__/_// write(' /_/__/_/_/ __/ _/.-\'\'\'\'\'-. /_// write(' / _.-..-..-.

.\'

`.

write('/ /_| || || |-. .\'

_/ _//_/\\'), nl,

.-..-..-./_//_||'), nl,

`. .-| || || | /_/ //'), nl,

write('----\\ \' \' \' / write(' ~~~~\\

\\ ` \' \' /----(('), nl,

//

\\ \\

/~~~~~ ))'), nl,

write('

`\'--\'`-:

write('

\\ |

| / .\'` `\\)'), nl,

write('

`\'-:

:-\'` | `-../|'), nl,

write('

\'

\'

\`-\'`|/'), nl,

write('

\\

/

`\'-\''), nl,

write('

\'.

write(' write('

\\'), nl,

:-`\'--\'` __,
.\''), nl,

\'.

.\''), nl,

`\'-..___..-\'`'), nl.

%Representa en pantalla la acción de dormir, escribiendo las letras con un retardo en segundos especificado mediante T. %La acción de dormir es representada en tamaño N, donde ... zZz ... se considera una representación de tamaño 1, y %... zZzZz ... se considera de tamaño 2. dormir(T, N) :- N > 0, flush_output, sleep(T), write(' ... '), flush_output, sleep(T), write('z'), flush_output, sleep(T), write('Z'), flush_output, sleep(T), write('z'), dormir(T, N, 1).

%Continúa recursivamente con la representación en pantalla de la acción de dormir. %T es el retardo en segundos de la representación. %N es el tamaño de la representación.

Javier Gago Romero

Página 72

FIA


Curso 2016-2017

%M es el paso que se está representando en ese momento. dormir(T, N, M) :- M < N, flush_output, sleep(T), write('Z'), flush_output, sleep(T), write('z'), MN is M + 1, dormir(T, N, MN), !. dormir(T, _, _) :- flush_output, sleep(T), write(' ...'), flush_output, sleep(T), nl.

Javier Gago Romero

Página 73

FIA


Curso 2016-2017

7.- Descripción de casos de pruebas necesarios En este apartado, vamos a describir los casos de pruebas necesarios para mostrar que el sistema responde a las funcionalidades requeridas. En primer lugar, se van a enumerar los requisitos del sistema, indicados en el enunciado de la actividad, y posteriormente, para cada uno de ellos, se van a mostrar pruebas que verifican que se cumple con el requisito. Además, se van a incluir otras pruebas adicionales necesarias, que muestran que los predicados cumplen con la funcionalidad para la cual se desarrollaron.

Requisitos del sistema Se especifican claramente en el enunciado de la actividad, y son: 1. Por cada uno de los del grupo de trabajo: en el sistema se habrán de definir • 2 o más constantes, • 2 o más hechos con variables y 2 o más sin variables y • 5 o más predicados; y deberán verificarse las siguientes condiciones: • al menos uno de los predicados habrá de definirse mediante 2 o más reglas, • al menos uno de los predicados deberá tener 2 o más argumentos, • 2 o más reglas deberán constar de 2 o más antecedentes y • la satisfacción de 2 o más objetivos habrá de requerir el encadenamiento de 2 o más reglas. 2. El sistema deberá contener además: • Al menos un ejemplo de uso de uno de los operadores aritméticos o relacionales predefinidos. • Al menos un ejemplo de recursividad. • Al menos un ejemplo de uso de los predicados de inserción y borrado de hechos de la Base de Hechos.

Pruebas para mostrar que se cumplen los requisitos Va a probarse cada requisito a continuación: •

2 o más constantes. o En la imagen siguiente se muestran en el código más de dos constantes: jugador, u, oca, puentes, dados, laberinto, posada, pozo, carcel, calavera, oca, victoria son constantes.

Javier Gago Romero

Página 74

FIA


Curso 2016-2017

Podemos realizar al intérprete algunas consultas relacionadas con estas constantes:

•

2 o más hechos con variables y 2 o más sin variables. o La misma imagen anterior sire para verificar que el código contiene 2 hechos sin variables y cumplir ya con el requisito. participante(jugador) y tipo_casilla_especial(pozo), son ejemplos de dos hechos sin variables.

o

Las siguientes imágenes muestras más de 2 hechos con variables. En la primera imagen, comprobar_amnesia(_) utiliza una variable anónima. En la segunda imagen, escribir_diario(_, _) emplea dos variables, también anónimas. En la

Javier Gago Romero

Página 75

FIA


Curso 2016-2017

tercera imagen, se muestra un hecho con variables no anónimas relacionado con la inserción de datos en una estructura de tipo lista.

En la captura que podemos observar a continuación, podemos ver cómo llega a aplicarse la última regla de comprobar_amnesia/1, que es un hecho con variables:

•

5 o más predicados. o En la siguiente imagen se muestran más de 5 predicados: accion_oca/2, accion_laberinto/1, accion_posada/1, accion_pozo/1, accion_carcel/1, accion_dados/2.

Javier Gago Romero

Página 76

FIA


Curso 2016-2017

•

Al menos uno de los predicados habrá de definirse mediante 2 o más reglas. o Hay muchos ejemplos en el código de esto. Uno de ellos es menu_turno/2, cuyas reglas se muestran en la siguiente imagen:

•

Al menos uno de los predicados deberá tener dos o más argumentos. o Hay varios ejemplos en el código que cumplen este requisito. Un ejemplo es el predicado dormir/3, que se muestra en la siguiente imagen:

•

2 o más reglas, deberán constar de dos o más antecedentes. o Hay varios ejemplos en el código que cumplen este requisito. Un ejemplo son las reglas del predicado accion_oca/2, que se muestran en la siguiente imagen:

•

La satisfacción de 2 o más objetivos habrá de requerir el encadenamiento de 2 o más reglas. o Un ejemplo lo constituye el propio predicado inicio/0.

Javier Gago Romero

Página 77

FIA


Curso 2016-2017

Para que la regla de la imagen tenga lugar, han de satisfacerse 5 objetivos. El tercer objetivo, introduccion, requiere que se satisfagan muchos objetivos, como se ve en la siguiente captura:

Además, algunos de estos, requiere de aún más objetivos, como dibujar_buhito, que debe satisfacer todos los write y nl que permitan hacer la representación en pantalla:

El séptimo objetivo, menu_principal/0 también requiere encadenar más reglas, como se ve en la siguiente imagen:

Una opción para comprobar que se cumple este requisito, es activar la traza del intérprete de Prolog, y observar el encadenamiento en las llamadas:

Javier Gago Romero

Página 78

FIA


•

Curso 2016-2017

Al menos un ejemplo de uso de uno de los operadores aritméticos o relacionales predefinidos. o Hay varios ejemplos que cumplen este requisito en el código. Un ejemplo sencillo, que emplea tanto operadores aritméticos como relacionales, se encuentra en el predicado comprobar_rebote/2.

Se utiliza el operador aritmético (-) y el operador relacional (>). Podemos lanzar varias consultas al intérprete sobre este predicado, y comprobar que funciona correctamente:

Javier Gago Romero

Página 79

FIA


•

Curso 2016-2017

Al menos un ejemplo de recursividad. o A continuación vamos a ver varios ejemplos de predicados que hacen uso de la recursión.

Quizás, el ejemplo más interesante que podemos encontrar en nuestro SBR, parte de la implementación de una de las reglas del juego de la oca, que en lenguaje natural podemos expresar así: “Para determinar el participante que inicia una partida, los participantes realizan una tirada de su dado. El jugador que obtiene la mayor puntuación, comienza la partida. En caso de obtener la misma puntuación, los participantes deben volver a repetir el lanzamiento hasta resolver el empate a favor de uno de los jugadores.” Puede observarse que la regla puede ser implementada de manera recursiva de forma muy natural y cercana a su definición, ya que se ha definido un caso base (El jugador que obtiene la mayor puntuación, comienza la partida.), y también las condiciones en las cuales, se debe producir una llamada recursiva (En caso de obtener la misma puntuación, los participantes deben volver a repetir el lanzamiento hasta resolver el empate a favor de uno de los jugadores.). Este caso es interesante además porque el progreso hacia el caso base se realiza en términos de probabilidad. Si partimos de que el predicado tirada/1, obtiene de manera aleatoria (o más bien pseudoaleatoria), números del 1 al 6 de manera equiprobable, apoyándose en el predicado random/0 ya predefinido en Prolog, entonces tenemos las siguientes opciones para una tirada por parte de cada participante: Tirada Jugador 1 1 1 1 1 1 2 2 2 2 2 2 3 3 3

Tirada U 1 2 3 4 5 6 1 2 3 4 5 6 1 2 3

Javier Gago Romero

Página 80

FIA 3 3 3 4 4 4 4 4 4 5 5 5 5 5 5 6 6 6 6 6 6


Curso 2016-2017

4 5 6 1 2 3 4 5 6 1 2 3 4 5 6 1 2 3 4 5 6

En negrita y de color rojo, se ha indicado en la tabla los casos en los cuales se produce un empate entre los participantes a la hora de determinar el participante inicial, y por tanto tiene lugar una llamada recursiva. En el resto de los casos, se alcanza el caso base, a favor de un participante u otro. Por tanto, sea P(empate) la probabilidad de que se produzca un empate, y P(desempate) la probabilidad de que se produzca un desempate, tenemos que P(empate) = 6/36 = 1/6, y por tanto P(desempate) = 1 – P(empate) = 1 – 1/6 = 5/6. Es bastante más probable alcanzar un caso base, es decir, que se inicie el juego con un participante inicial ya determinado que el hecho de que tenga que repetirse el lanzamiento mediante una llamada recursiva (5/6 frente a 1/6). Por tanto, es muy poco probable que no se resuelva el empate tras unos cuantos lanzamientos debido a que los dados están equilibrados, y de esa manera se realiza el progreso hacia el caso base. Las reglas que componen el predicado se muestran en la siguiente imagen:

Javier Gago Romero

Página 81

FIA


Curso 2016-2017

Otro ejemplo de recursividad, se da en la representación de la gráfica de victorias de un participante:

El caso base, se alcanza cuando N es mayor o igual que V. Mientras esto no se produzca, se procede a aplicar la siguiente regla, escribiendo una barra vertical en pantalla y llamando recursivamente a dibujar_grafica/2 con el segundo argumento incrementado en una unidad, para progresar así hacia el caso base. Por último, otro ejemplo más, es la representación gráfica que se hace en el predicado dormir/3, y que es similar al de dibujar_grafica/2:

Podemos usar el intérprete para lanzar algunas consultas relacionadas con los predicados y comprobar su correcto funcionamiento:

•

Al menos un ejemplo de uso de los predicados de inserción y borrado de hechos de la Base de Hechos. o En el código hay varios predicados dinámicos y los hechos son actualizados en la base de hechos en varios predicados. Un ejemplo, lo constituye el salir/0.

En este predicado, los hechos de victorias, nombre, amnesia y diario de los participantes son actualizados. A continuación, podemos ver que se ha actualizado el valor de victorias de jugador a 100, y posteriormente, tras llamar al predicado salir/0, el número de victorias del participante

Javier Gago Romero

Página 82

FIA


Curso 2016-2017

vuelve a ser 0, como indica el intérprete devolviendo el valor de la variable X:

Pruebas necesarias Es necesario probar que, además de satisfacer los requisitos del sistema, éste ha sido implementado correctamente, y responde a las funcionalidades para las cuales se ha implementado. A medida que se ha ido desarrollando el programa se han ido realizando todo tipo de pruebas a los predicados. Al menos, es necesario para cada predicado probar cada regla, y probar con valores constantes y con variables. También es importante probar casos en los que se espera que el predicado devuelva falso. Finalmente, se prueba a usar cada argumento como entrada o como salida, y ver si el predicado responde como se espera. Además de probar cada predicado, se han jugado bastantes partidas al juego, para comprobar que el programa se ejecuta como debe, partiendo de la ejecución del predicado inicio, y finalizando haciendo uso de la opción salir del menú principal del programa. También con el objetivo de tener una visión clara y probada de cómo el ve el juego e interactúa con él. A continuación, se muestran algunas consultas realizadas a predicados, a modo de ejemplos, que ilustren algunas de las pruebas realizadas: •

Utilizar el predicado gana/1 directamente desde el intérprete nos puede servir para comprobar que las partidas finalizan correctamente, y podemos llegar al número de partidas que nos interese, sin necesidad de perder tiempo en jugar muchas partidas para realizar la prueba que queramos:

•

Utilizar el predicado comprobar_amnesia/1, nos puede servir para reproducir la comprobación de la amnesia tras ganar una partida y hacer que se disparen los hechos que conllevan a que el jugador avance en la historia, sin necesidad de jugar las partidas.

Javier Gago Romero

Página 83

FIA


Curso 2016-2017

•

Podemos comprobar hechos sobre ciertas casillas:

•

Podemos lanzar algunas representaciones gráficas, preguntando por ellas al intérprete:

•

Podemos lanzar consultas acerca del estado del juego:

Así, podríamos continuar realizando más pruebas, consultando lo que deseemos al intérprete, y éste nos responderá en consecuencia.

Javier Gago Romero

Página 84

FIA


Curso 2016-2017

8.- Dificultades encontradas Disponer de la libertad de poder elegir un tema para el desarrollo del SBR y poder desarrollarlo a mi gusto, pero cumpliendo una serie de requisitos dados, ha sido una experiencia bastante divertida. Además, la idea de poder aportar sentido poético o humorístico, me ha parecido un acierto, ya que permite hacer más ameno y entretenido el desarrollo. He disfrutado bastante, no sólo con la implementación, en un lenguaje tan intuitivo y cercano a la lógica como es Prolog, sino también imaginando el problema, escribiendo la historia y viendo cómo evolucionaba en cada nueva versión del programa. Haber cursado la asignatura "Teoría de los lenguajes de programación" el curso pasado, ha resultado de gran ayuda, pues disponía ya de experiencia previa en el lenguaje Prolog, además teniendo en cuenta que en la práctica obligatoria de dicha asignatura, el curso pasado hubo que implementar un algoritmo en Prolog (el clásico problema Skyline de divide y vencerás). Quizás una de las principales dificultades ha sido buscar el punto hasta el cual desarrollar el programa y buscar información sobre el juego a implementar. Por un lado, por el tiempo disponible, y por otro, para que no incluya tantas opciones que se haga pesado o difícil para el que, quizás, sólo quiera jugar al juego de la oca sin más. El juego de la oca tiene unas reglas claras y definidas, ya que basta con implementar sus reglas para saber que se ha terminado el desarrollo básico, pero en el momento en el que se quieren incluir más detalles y añadir una historia que incluya características de juegos de rol de mesa, y se añada sentido poético al proyecto, el nivel de detalles que se pretende alcanzar se va incrementando. Por ejemplo, una vez hemos decidido crear ciertas listas para que aparezcan mensajes aleatorios mientras se juega y que describan qué ocurre... ¿qué tamaño dar a las listas? ¿200 elementos, 500, 1000, 5000? Hay que definir un límite, que llegue al compromiso de que se permita desarrollar el proyecto en un tiempo razonable, pero resultando bastante completo en cuanto a nivel de detalles, que no haga pesado al la lectura de los mensajes. Se ha intentado que el jugador tenga la impresión, al menos en sus primeras partidas, de que hay varios mensajes nuevos cada vez que juega. Respecto a las metodologías empleadas, son realmente un acierto para el desarrollo del software: ayudan a aclarar la idea, a recopilar la información, a conceptualizar el problema y facilitan la implementación. Además, permiten seguir el desarrollo por fases, con rigor y de manera organizada, facilitando la tarea de mantener el software a medida que éste crece.

Javier Gago Romero

Página 85

FIA


Curso 2016-2017

Apéndice A: Temas propuestos para el proyecto Los temas propuestos para el proyecto en el enunciado de la actividad son los siguientes (en negrita, color rojo y mayor tamaño, se ha señalado el tema elegido): Las viñetas de Forges Chistes Política europea Política mundial Programas de televisión Concursos de televisión Una situación de la vida cotidiana Vacaciones Estudiar en la UNED La familia La oficina Los hipermercados El colegio El tráfico El gimnasio El matrimonio (o el divorcio) El vecindario Pintar la casa La ITV Emigrantes Inmigrantes Los exámenes Las dietas Los anuncios de la tele Los Spa Debates en el Congreso Leyes polémicas ("ley mordaza"...) Debates en la tele El transporte público La sanidad pública La istración pública Deportes de riesgo Géneros musicales Una cultura o país (los japoneses, los latinos...) El turismo La cocina La maternidad/paternidad El consumismo La corrupción Inventos de la humanidad Cambio climático Desempleo La Justicia La clonación Diferentes épocas históricas (La prehistoria, la Edad Media...) Los viajes espaciales Ciertas organizaciones o grupos sociales (los boy scouts, las ONG ...) Un día de tu vida Suegras Fenómenos paranormales Viajes en avión Tradiciones (Semana Santa, Navidad, Halloween) Comida rápida Refranes Dejar de fumar Reuniones familiares

Juegos de mesa Clima (El calor, el frío, la lluvia, el fin del verano ...)

Javier Gago Romero

Página 86

FIA


Curso 2016-2017

La cirugía estética Los hoteles La radio El horóscopo Las mascotas Profesiones (fontaneros, programadores...) La publicidad Deportes Los sueños La moda Diferentes géneros de literatura y cine (romántico, policíaco..), excluyendo fantástico, ciencia ficción y terror. Los bancos Las colecciones Las noticias Los coches Los jefes Las autoescuelas Religiones Etapas de la vida (la infancia, la edad madura...) Las rebajas Cenas de empresa Vida sana Los bares Los centros comerciales La tecnología La nieve Las fiestas de Navidad La movida madrileña Espectáculos de magia Deberes escolares Desarrollo espiritual La jubilación Records mundiales Redes sociales Teléfono móvil La montaña El mar El amor La muerte La vida La amistad La seguridad social Parques de atracciones Parques acuáticos El paro Libros de autoayuda

También existía la opción de elegir un tema propio que debía proponerse previamente al equipo docente para su aprobación.

Javier Gago Romero

Página 87

FIA


Curso 2016-2017

Apéndice B: Versos relacionados con la historia Bajo la idea de enriquecer la historia narrada, se han incluido unos versos que aleatoriamente pueden llegarse a escribir en el diario del jugador tras ganar o perder una partida. Los versos los he escrito yo mismo, basados en la propia historia, y su objetivo es acercar un poco más al hacia el personaje del alumno, y hacerle ver el dramatismo de la situación en la que se ve envuelto. A continuación, se recogen aquí: Soneto a mi mente Ya no mantengo nada en mi mente, como si un retract en mi corazón, hubieran lanzado con decisión, para hacerme sentir diferente.

Quizás lo tengo incluso enfrente, cegado estoy por la emoción, como niño lleno de ilusión, pero intento así hacerle frente.

Que irrisorio jugar a la oca, viendo casillas llenas de buhitos, y decidiendo a quién le toca.

Sólo quiero ganar un poquito, pues cada victoria es poca, en mi amargo olvido infinito.

Soneto a mi rival la IA Que poderosa es mi rival la IA, intenté yo lograr una victoria, plagado como estaba de euforia, y en aquel momento me mataría.

Javier Gago Romero

Página 88

FIA


Curso 2016-2017

Me venció y de mi aún se reía, como si no fuera más que escoria, teniendo yo más pena que gloria, mi dolor sin duda perduraría.

Su victoria daño a mi me hizo, ya ni siquiera tengo un lema, ni veo como poder rizar el rizo.

Sin mi espíritu ni mi emblema, caeré en su oscuro hechizo, poniéndome fin en mi poema.

Javier Gago Romero

Página 89

FIA


Curso 2016-2017

Apéndice C: Versión del software empleado El proyecto se ha desarrollado empleando el intérprete de Prolog, SWI-PROLOG, y el editor de texto Notepad++. Para Notepad++, se ha cargado una configuración que le permite reconocer la sintaxis del lenguaje Prolog, de tal manera que el texto es coloreado ateniendo a su sintaxis. Las pruebas al sistema han tenido lugar bajo el sistema operativo Windows 7. A continuación, se recogen capturas de pantalla de las versiones de SWI-PROLOG y Notepad++ utilizadas.

Versión de SWI-PROLOG

Versión de Notepad++

Javier Gago Romero

Página 90

FIA


Curso 2016-2017

Apéndice D: Ficheros entregados El proyecto es entregado a través del curso virtual. En concreto, el fichero entregado es un fichero comprimido denominado juegoPrologOca.zip, que incluye en su interior los siguientes ficheros: • • •

JavierGagoRomero.pdf: es la memoria del proyecto (el presente documento). bhPrologOca.pl: contiene el código de la base de hechos del proyecto. Debe ubicarse en el mismo directorio que el fichero juegoPrologOca.pl durante la ejecución. juegoPrologOca.pl: contiene el código Prolog de nuestro proyecto. Es el fichero principal, que debe cargarse para iniciar el juego, y que contiene los predicados con las reglas del programa.

Javier Gago Romero

Página 91

Juego Oca 2d2s55

Overview 3e4r5l

More details w3441

Related Documents 3m3m1z

Juego Oca 2d2s55

Juego De La Oca 3mej

Juego De La Oca Para Catequesis 3j4b3e

La Oca De Las Emociones - Juego 6w4f2w

La-oca 73115z

Reglas Oca 2in1o

More Documents from "Bruno Gómez García" 6m4o62

11.5.1.3 Packet Tracer - Troubleshooting Challenge 51c4t

Manual De Teatro Escolar. Alternativas Para El Maestro 1951t

6l6m1j

La Danza Y El Concepto De Estilo 1p5g30

Tabela-de-treino.xls 2q6h63

6l6m1j