Liquidos Venenosos

1-. El problema

El Sr. Despistado, el químico, tiene seis frascos llenos de líquidos coloreados. Hay uno de cada color: rojo, anaranjado, amarillo, verde, azul y violeta. El señor Despistado sabe que algunos de esos líquidos son tóxicos, pero no recuerda cuales...

Sin embargo, sí recuerda algunos datos. En cada uno de los siguientes pares de frascos hay uno con veneno y otro no:
a) losfrascos violeta y azul
b) los frascos rojo y amarillo
c) los frascos azul y anaranjado

El Sr. Despistado recuerda también que en estos otros pares de frascos hay uno sin veneno:
d) el violeta y el amarillo
e) el rojo y el anaranjado
f) el verde y el azul

¡Ah! Casi lo olvido, añade el Sr. Despistado, el líquido del frasco rojo no es venenoso. ¿Qué frascos tienen veneno?

2-. Extraemos informaciónLo primero que necesitamos para empezar a resolver el problema es diferenciar entre la información útil y el relleno que se añade para plantear el problema. En este caso no hay mucha dificultad en extraer la información que nos interesa:

1-. 6 frascos: rojo, anaranjado, amarillo, verde, azul y violeta

2-. con veneno uno sí otro no:
a) los frascos violeta y azul
b) los frascos rojo y amarillo
c)los frascos azul y anaranjado

3-. uno del par no tiene veneno
d) el violeta y el amarillo
e) el rojo y el anaranjado
f) el verde y el azul

4-. el rojo no es veneno

3-. Planteamiento lógico Antes de empezar a buscar predicados Prolog para resolver el problema suele ser bastante útil realizar un planteamiento más o menos lógico de cómo se podría llegar a la solución. Supongo que si tenéisinterés en Prolog ya tendréis unos conocimientos de lógica cuanto menos básicos, así que no perderemos tiempo en ello. El planteamiento que obtenemos es el siguiente:

. Las variables que vamos a usar representan el conocimiento siguiente:
ro: el frasco rojo es venenoso
an: el frasco anaranjado es venenoso
am: el frasco amarillo es venenoso
ve: el frasco verde es venenoso
az: el frasco azul esvenenoso
vi: el frasco violeta es venenoso

. Traduciendo cada una de las condiciones anteriores tenemos las siguientes expresiones lógicas:
2-. con veneno uno sí otro no:
a) los frascos violeta y azul vi ↔ ¬az
b) los frascos rojo y amarillo ro ↔ ¬am
c) los frascos azul y anaranjado az ↔ ¬an

3-. uno del par no tiene veneno
d) el violeta y el amarillo ¬vi ٧ ¬am
e) el rojo y el anaranjado ¬ro ٧ ¬an
f) elverde y el azul ¬ve ٧ ¬az

4-. el rojo no es veneno ¬ro

. Usando las expresiones podemos llegar a la solución. De forma simple:
¬ro
partiendo de ¬ro y usando ro ↔ ¬am obtenemos am
partiendo de am y usando ¬vi ٧ ¬amobtenemos ¬vi
partiendo de ¬vi y usando vi ↔ ¬az obtenemos az
partiendo de az y usando az ↔ ¬an obtenemos ¬an
partiendo de az y usando ¬ve ٧ ¬az obtenemos ¬ve

. Con lo quetendríamos la solución:
Los frascos venenosos son el amarillo y el azul
Los frascos no venenosos son el rojo, el violeta, el anaranjado y el verde

4-. Modelando el problema en Prolog

Casi siempre, por no decir siempre, hay innumerables formas de modelar un problema en Prolog, normalmente alguna mejor que otra, pero indudablemente la mejor de todas es la que más clara veamos, porque es la que mejorentenderemos.

El modelado que he elegido para el problema no tiene porqué ser el mejor, pero es el que me ha parecido más correcto y el más intuitivo de ver. Veamos cómo es:

Lo que vamos a hacer es usar la base de conocimientos de Prolog, en la que iremos insertando información a medida que se resuelve el problema. Dicha información va a ser:
Cuándo un frasco es venenoso
Cuándo un frasco no esvenenoso
Cuándo hemos visitado una regla (nos servirá para no hacer uso varias veces de la misma regla)

Tendremos un predicado que será el encargado de incluir la información inicial en la base de conocimientos y de llamar al método que se encargará de procesar esa información resolver el problema.

Un apunte, para insertar la información usamos assert, que inserta la información al principio de...