Prolog - Reto (Quien lo hace?) part2

El problema radica en que no se sabe qui´en ha enviado cada uno de los
mensajes, pero es conocido que Tom´as miente (¿es un agente doble?) y que
los dem´as agentes dicen la verdad. El misterio que trata de escudri˜narse es
el de responder a la pregunta ¿qui´en est´a en cada pa´ıs?
Seguidamente se dise˜na un sistema experto para resolver este problema.
Se tienen cuatro objetos: Alberto, Luisa, Carmen y Tom´as. Cada objeto
puede tomar uno de cuatro valores: Egipto, Francia, Jap´on o Espa˜na.

Puesto que Tom´as es el ´unico que miente, se considera que un telegrama
suyo es siempre falso. Esto da lugar a dos reglas por cada mensaje:

1. El mensaje de Francia (Luisa est´a en Espa˜na) da lugar a:

• Regla 1: Si Tom´as est´a en Francia, entonces Luisa no est´a en
Espa˜na.
2.4 Control de la Coherencia 57
• Regla 2: Si Tom´as no est´a en Francia, entonces Luisa est´a en
Espa˜na.

2. El mensaje de Espa˜na (Alberto est´a en Francia) da lugar a:

• Regla 3: Si Tom´as est´a en Espa˜na, entonces Alberto no est´a en
Francia.
• Regla 4: Si Tom´as no est´a en Espa˜na, entonces Alberto est´a en
Francia.