Prolog - Reto (Quien lo hace?) part3

3. El mensaje de Egipto (Carmen est´a en Egipto) da lugar a:

• Regla 5: Si Tom´as est´a en Egipto, entonces Carmen no est´a en
Egipto.
• Regla 6: Si Tom´as no est´a en Egipto, entonces Carmen est´a en
Egipto.

4. El mensaje de Jap´on (Carmen est´a en Francia) da lugar a:

• Regla 7: Si Tom´as est´a en Jap´on, entonces Carmen no est´a en
Francia.
• Regla 8: Si Tom´as no est´a en Jap´on, entonces Carmen est´a en
Francia.
Utilizando s´olo estas ocho reglas, se intentar´a ahora averiguar el valor
que toma el objeto Tom´as:

1. Tom´as est´a posiblemente en Egipto. Si Tom´as est´a en Egipto, se
obtienen las conclusiones siguientes:

• Luisa est´a en Espa˜na, por la Regla 2.
• Alberto est´a en Francia, por la Regla 4.
• Carmen no est´a en Egipto, por la Regla 5.
• Carmen est´a en Francia, por la Regla 8.

Se ve que con esta hip´otesis se llega a la conclusi´on de que tanto Alberto
como Carmen est´an en Francia, lo que contradice la informaci´on
de que s´olo un agente puede estar en cada pa´ıs (pero el conjunto de
las ocho reglas anteriores no contiene esta informaci´on). Por tanto,
se concluye que Egipto es un valor imposible para el objeto Tom´as,
es decir, Tom´as no puede estar en Egipto.

2. Tom´as est´a posiblemente en Jap´on. Si Tom´as est´a Jap´on, se obtienen
las conclusiones siguientes:

• Luisa est´a en Espa˜na, por la Regla 2.
• Alberto est´a en Francia, por la Regla 4.
58 2. Sistemas Basados en Reglas
• Carmen est´a en Egipto, por la Regla 6.