Los Juegos como Herramienta Docente.
Formalizacin de Juegos Lgicos en Prolog
Faran Llorens, M Jess Castel, Francisco Mora, Carlos Villagr
Dept. de Ciencia de la Computacin e Inteligencia Artificial
Universidad de Alicante
03080 Alicante
e-mail:[faraon,chus,mora,villagra]@dccia.ua.es
Resumen
Ludwing Wittgenstein, filsofo austriaco, escribi
que podra escribirse una obra filosfica buena y
seria compuesta enteramente por chistes. Si se
entiende el chiste, se entender el argumento
implcito en l. Podramos trasladar este
pensamiento a nuestro campo y decir que se
podra estudiar lgica por medio de chistes, juegos
y acertijos; la enseanza de la Lgica no tiene
porque ser aburrida si se saben encontrar caminos
que la hagan agradable y amena. Como dice
Martin Gardner [4] la virtud, y nosotros pensamos
que la dificultad, est en encontrar el equilibrio
entre el juego y la seriedad: el juego mantendr
interesados a nuestros alumnos y alumnas, y
motivar su discusin ms all de las paredes del
aula; la seriedad convertir nuestras clases en algo
til y provechoso (y, para algunos, justificar
nuestro sueldo).
1. Lgica y programacin lgica
La Lgica nos permite formalizar conocimientos,
y esta formalizacin es un paso previo e
indispensable para poder automatizar formas de
razonamiento. Cuando nos planteamos resolver un
determinado problema, bien de forma manual o
por ordenador, debemos empezar plantendonos
una serie de interrogantes acerca del conocimiento
implicado en dicho problema. Y en la
representacin y la manipulacin (sistema de
razonamiento) de ese conocimiento es donde
juega un papel importante la Lgica.
La Lgica de Primer Orden pone a nuestra
disposicin un lenguaje que nos permitir
formalizar expresiones del conocimiento humano
haciendo explcitos los objetos y las relaciones,
as como sus restricciones. Y dicho lenguaje se
convierte en uno de los mecanismos de
representacin del conocimiento, con la ventaja de
que adems proporciona un mtodo, la deduccin
matemtica, para obtener nuevo conocimiento a
partir del antiguo.
La Lgica ha servido tambin como base para
el desarrollo de un nuevo paradigma de
programacin : Programacin Lgica. La idea
central de la programacin lgica la podemos
expresar con la conocida ecuacin de Kowalski
[5]:
Algoritmo = Lgica + Control
de manera que el control (estrategia para encontrar
la solucin) la dejamos en manos de la mquina, y
el programador slo se preocupa de la lgica
(informacin acerca del problema que queremos
resolver).
El lenguaje Prolog (PROgramacin LOGica),
definido por Colmerauer [3], es el mejor
representante de esta nueva concepcin de la
programacin. Un sistema Prolog esta basado en
un comprobador de teoremas por Resolucin
usando clusulas de Horn y la estrategia de
reevaluacin. La Base de Conocimiento de Prolog
estar constituida por hechos y reglas (clusulas
de Horn con cabeza) y su ejecucin consistir en
la introduccin de un objetivo o pregunta
(clusula decapitada o negada) que queremos
hacer cumplir.
As, programar en Prolog consiste en dar al
ordenador un universo finito en forma de hechos y
reglas, proporcionando los medios para realizar
inferencias de un hecho a otro. A continuacin, si
se hacen las preguntas adecuadas, Prolog buscar
las respuestas en dicho universo y las presentar
en pantalla. Esquemticamente, la programacin
en Prolog consiste en :
 declarar algunos hechos sobre los objetos y
sus relaciones
definir algunas reglas sobre dichos objetos y
relaciones, y
hacer preguntas sobre esos objetos y
relaciones.
Para el desarrollo de la prctica hemos
utilizado el compilador de programacin lgica
SWI-Prolog versin 4.0.0. para Windows. SWI-
Prolog [1] es un compilador Prolog de dominio
pblico para ordenadores PC desarrollado en el
Dept. of Social Science Informatics (SWI) de la
Universidad de msterdam dirigido,
principalmente, a la investigacin y la educacin.
2. Juegos de lgica
Vamos a resolver en Prolog juegos de lgica que
se tienen que determinar por deduccin a partir de
un conjunto de pistas. El objetivo es correlacionar
una serie de propiedades que cumplen distintos
elementos de nuestro Dominio (Universo del
Discurso). La restriccin a la que est sujeto este
juego es que dos elementos distintos del mismo
dominio no pueden estar asociados a un mismo
elemento de otro dominio. Gran cantidad de
juegos de este tipo aparecen peridicamente en
distintos tipos de revistas de pasatiempos [2].
Veamos un ejemplo:
Un alumno de Informtica, debido al
nerviosismo del primer da de clase, slo
recuerda el nombre de sus profesores (Mara,
Jess y Faran), las asignaturas que se imparten
(Lgica, Programacin y Matemticas) y el da de la Lgica de Primer Orden. Para disear la
la semana de las distintas clases (lunes, mircoles
y jueves). Adems recuerda que :
1.- La clase de Programacin, impartida por
Mara, es posterior a la de Lgica.
2.- A Faran no le gusta trabajar los lunes,
da en el que no se imparte Lgica.
Seras capaz de ayudarle a relacionar
cada profesor con su asignatura, as como el da
de la semana que se imparte?
NOTA : Sabemos que cada profesor imparte
una nica asignatura, y que las clases se dan en
das diferentes.
Podemos extraer la siguiente informacin:
trabajaremos con tres dominios (profesor,
asignatura y da), que determinarn tres
propiedades (predicados con un argumento).
cada uno de estos tres dominios tendr 3
objetos:
o D1 = {profesor} = {Mara, Jess,
Faran}
o D2 = {asignatura} = {Lgica,
Programacin, Matemticas}
o D3 = {da} = {lunes, mircoles, jueves}
estas tres propiedades al relacionarse dos a
dos, determinarn 3 relaciones binarias
(profesor-asignatura, profesor-da, y
asignatura-da).
Para entender mejor su funcionamiento vamos
a resolverlo primero de forma manual (figura 1), y
para ello nos podemos ayudar de un cuadro de
mltiples entradas. Marcaremos con un crculo
cuando sepamos que la relacin es cierta, y
descartaremos, marcando con una cruz, aquellas
relaciones que sean falsas. Al marcar una casilla
con un crculo deberemos eliminar todas las
celdas de su horizontal y vertical llenndolas con
cruces. Una vez anotadas todas las pistas y, de ser
necesario, completar el cuadro y correlacionar
algunas relaciones binarias, obtendremos la
solucin.
3. Resolucin del juego en Prolog
Prolog se basa en el Clculo de Predicados, y por
ello vamos a formalizar el problema utilizando las
herramientas que nos proporciona el Lenguaje de
solucin realizaremos los siguientes pasos:
3.1. Definicin de Propiedades
Determinaremos el nmero de propiedades que
intervienen en el problema (n) y le asignaremos a
cada propiedad un predicado (palabras o
fragmentos de palabras que nos recuerden su
funcin). Adems, para cada propiedad,
determinaremos el nmero de elementos que
pertenecen al dominio (m). Por definicin del
problema, todos los dominios tienen el mismo
nmero de objetos. Y por ltimo, para cada una de
las propiedades escribiremos tantos hechos Prolog
como elementos tenga el dominio.
Anotacin de pistas :

Pista 1.-
Lgica Program. Matemt. Lunes Mircoles Jueves
Mara X O X
Jess X
Faran X
Lunes X
Mircoles
Jueves X

Pista 2.-
Lgica Program. Matemt. Lunes Mircoles Jueves
Mara X O X
Jess X
Faran X X
Lunes X X
Mircoles
Jueves X

Completar el cuadro :
Lgica Program. Matemt. Lunes Mircoles Jueves
Mara X O X
Jess X
Faran X X
Lunes X X O
Mircoles O X X
Jueves X O X

Correlacionar las relaciones binarias :

Lgica Program. Matemt. Lunes Mircoles Jueves
Mara X O X X X O
Jess X X O O X X
Faran O X X X O X
Lunes X X O
Mircoles O X X
Jueves X O X

La solucin es :
Profesor Asignatura Da
Mara Programacin Jueves
Jess Matemticas Lunes
Faran Lgica Mircoles

Figura 1. Resolucin grfica del juego

 3.3. Interpretacin de las Pistas
numeroPropiedades(3).
objetosUniverso(3). Interpretaremos cada una de las pistas para poder
deducir la solucin del problema. Tendremos dos
/*- PROPIEDADES -*/ tipos de pistas: las que afirman alguna relacin y
las que la niegan.
profesor(maria).
profesor(jesus). Pista afirmativa: nos aporta informacin
profesor(faraon). positiva, es decir, que cierto objeto del
Universo est relacionado con otro
asignatura(logica). determinado objeto de otro Universo por
asignatura(programacion). medio de una determinada relacin. Lo
asignatura(matematicas). representaremos por un hecho Prolog en la
relacin entre ambos Universos:
dia(lunes). prof_asig(maria,programacion).
dia(miercoles).
dia(jueves). Pista negativa: nos aporta informacin que
no debe cumplirse, es decir, que cierto objeto
3.2. Definicin de Relaciones del Universo no est relacionado con otro
determinado elemento de otro Universo. Lo
Relacionaremos todas las propiedades entre s, representaremos por una regla Prolog para la
con lo que tendremos tantas relaciones como relacin entre ambos Universos, de manera
combinaciones podamos hacer de las n que elimine la posibilidad de que dichos
propiedades tomadas de dos en dos: objetos se relacionen:
n n! prof_dia(faraon,Dia) :-
C n2 = =

2 2!( n 2 )! dia(Dia),Dia\=lunes.

Finalmente, deberemos asegurarnos que tanto

As, como en nuestro ejemplo tenamos 3
para las pistas afirmativas como para las negativas
propiedades, tendremos que definirnos 3
se elige la clusula correcta, y que en caso de
relaciones. En principio, cualquier profesor puede
reevaluacin no se unifique con la clusula
impartir cualquier asignatura, cualquier profesor
general. Para ello modificaremos las reglas
puede dar clase cualquier da y cualquier
generales introducidas en el punto 2, quedando de
asignatura puede ser impartida cualquier da. Para
la siguiente manera:
formalizar estos predicados crearemos 3 reglas prof_asig(Prof,Asig):-
Prolog, que nos relacionarn las distintas profesor(Prof),
propiedades: Prof\=maria,
asignatura(Asig).
/*- RELACIONES -*/
3.4. Correlacin de Propiedades
prof_asig(Prof,Asig) :-
profesor(Prof),
Hay que relacionar cada elemento de un dominio
asignatura(Asig).
con uno y slo uno de los elementos de cada uno
de los otros dominios. Por tanto buscaremos una
prof_dia(Prof,Dia) :-
profesor(Prof), nueva solucin individual y comprobaremos que
dia(Dia). dichos objetos no pertenezcan a la solucin parcial
que tenemos en ese momento. Para ello
asig_dia(Asig,Dia) :- definiremos una funcin recursiva que vaya
asignatura(Asig), obteniendo todas las soluciones. Habremos
dia(Dia). encontrado una solucin total al problema cuando
el nmero de elementos que tenga nuestra
solucin sea el mismo que objetos tengan los
dominios. Finalmente, por reevaluacin, Prolog
encontrar automticamente todas las soluciones
posibles al problema.
/*---- PROGRAMA PRINCIPAL ----*/
iniciar :- ini([]).
ini(L):- objetosUniverso(M),
nel(L,M),escribir(L),
nl, pausa, fail.
ini(L) :-
prof_asig(Prof,Asig),
nopertenece(Prof,L,1),
nopertenece(Asig,L,2),
prof_dia(Prof,Dia),
nopertenece(Dia,L,3),
asig_dia(Asig,Dia),
ini([Prof,Asig,Dia]|L]).
3.5. Rutinas de carcter general
Definimos, tambin, una serie de rutinas de
carcter general y de manejo de listas que
utilizamos a lo largo del programa.
4. Generalizacin de la solucin
Podemos observar que los pasos 4 (correlacionar
propiedades) y 5 (rutinas generales) son iguales,
con pequeas diferencias, para todos los
problemas que queramos resolver de este tipo de
juego. Mientras que los pasos 1 (propiedades), 2
(relaciones) y 3 (pistas) dependen del enunciado
concreto del problema a resolver. Por tanto vamos
a separar el cdigo Prolog en dos partes:
Juego: esquema general del juego, nico e
igual para todos.
Base de Conocimientos: dependiente del
enunciado del problema.
Continuando con el ejemplo anterior, vamos a
desarrollar ambas partes.
4.1. Juego
Necesitar unas pequeas modificaciones ya que
queremos que sirva para todo tipo de enunciado.
En primer lugar, desde este programa leeremos la
Base de Conocimientos que queramos utilizar y
que ya estar elaborada a partir de un problema
concreto que debamos resolver. Una vez
consultada, deberemos tener en cuenta el nmero
de propiedades (n) y el nmero de objetos de cada
Universo (m). Como el nmero de relaciones, y
por consiguiente la clusula que las correlaciona,
depende del nmero de propiedades, la clusula
iniciar llamar a la correspondiente ini
segn el nmero de propiedades del problema
concreto en que estemos.
/*---- JUEGO ----*/
iniciar :-
write('B.C.: '),
read(BC),
reconsult(BC),!,
nl,write('B.C. '),
write(BC),
write(' consultada'),nl,nl,
numeroPropiedades(N),
ini(N,[]).
iniciar :-
nl,write('ERROR: B.C. no
encontrada'),nl.
4.2. Base de Conocimientos
Al generalizar y tener que interpretar todas las
Bases de Conocimientos desde un mismo
programa, debemos en primer lugar determinar
dos valores concretos implcitos en el enunciado:
el nmero de propiedades tratadas en el problema
(n) y el nmero de individuos de cada universo
(m). Para ello incluiremos al principio de la Base
de Conocimientos dos hechos que informen al
juego de dichos parmetros. Por otro lado, como
el procedimiento que correlaciona las propiedades
est incluido en el juego, deberemos nombrar a las
relaciones de manera general (r12, r13, ...), para
que nos puedan servir para cualquier enunciado.
Por lo dems, el resto queda igual que lo
comentado en los puntos 1, 2 y 3 del apartado
anterior.
/*-- BASE DE CONOCIMIENTOS --*/
numeroPropiedades(3).
objetosUniverso(3).
/*- PROPIEDADES -*/ realizar hbiles razonamientos para descubrir a los
profesor(maria). culpables a partir de pequeos indicios. Por otra
profesor(jesus). parte, el rigor y la exactitud deben ser cualidades
profesor(faraon). indispensables en cualquier trabajo serio. La
lgica nos proporciona herramientas para poder
asignatura(logica). trabajar formalmente con conocimiento. En
asignatura(programacion). este artculo hemos pretendido presentar como los
asignatura(matematicas). juegos pueden convertirse en una herramienta
docente. Adems, el lenguaje de programacin
dia(lunes). lgica Prolog puede servirnos para solucionar
dia(miercoles). problemas cuya resolucin implique un proceso
dia(jueves). de deduccin. Prolog es pura lgica y por tanto
se puede trabajar con l de forma intuitiva.
/*- RELACIONES -*/ La experiencia aqu comentada ha sido
r12(maria,programacion). aplicada como prcticas de la asignatura
r12(Prof,Asig) :- cuatrimestral Lgica de Primer Orden de los
profesor(Prof), estudios de Ingeniera Informtica en la
Prof\=maria, Universidad de Alicante [6]. Pensamos que podra
asignatura(Asig). ser interesante aplicarlo a otros estudios y/o
niveles que necesiten de una formacin cientfica
r13(faraon,Dia) :- e investigadora.
dia(Dia), Dia\=lunes. Los objetivos perseguidos al realizar esta
r13(Prof,Dia) :- prctica han sido :
profesor(Prof),
Representacin del conocimiento mediante el
Prof\=faraon,
lenguaje de la Lgica de Primer Orden.
dia(Dia).
Interpretacin de pistas : conceptos y
r23(logica,Dia) :- esquemas lgicos del pensamiento.
dia(Dia), Utilizacin del lenguaje de programacin
Dia\=lunes,Dia\=jueves. lgica Prolog.
r23(programacion,Dia) :-
dia(Dia), Dia\=lunes.
r23(Asig,Dia) :- Referencias
asig(Asig),
Asig\=logica, [1] http://www.swi.psy.uva.nl/projects/SWI-
Asig\=programacion, Prolog
dia(Dia). [2] LOGIC. Juegos Lgicos. Publicacin editada
por Zugarto Ediciones, S.A., Madrid.
A partir de este momento, ante un nuevo [3] Colmerauer, A. y otros. Un Systeme de
problema de este tipo, solamente deberemos Communication Homme-Machine en
preocuparnos de crear la Base de Conocimientos Francais, Groupe de Recherche en
oportuna (la cul deber contener las propiedades, Intelligence Artificielle, Universit dAix-
relaciones y pistas definidas adecuadamente) y Marseille, 1973
resolverlo utilizando el juego que ya tenemos. [4] Gardner, M. Carnaval Matemtico. Alianza
Editorial (libro de bolsillo 778), 1987.
[5] Kowalski, R. Lgica, programacin e
5. Conclusin inteligencia artificial. Ediciones Daz de
Santos, 1986.
La enseanza de la Lgica no tiene por qu ser [6] Llorens, F. y otros. Formalizacin del
aburrida. Todos recordamos las novelas de Razonamiento. JENUI'98, Sant Juli de Lria
Sherlock Holmes o Hercules Poirot, y cmo sus (Principat d'Andorra), julio 1998.
mentes lgicas y deductivas eran capaces de