Prolog - Reto (Quien lo hace?) part5

• Regla 9: Si Alberto est´a en Egipto, entonces Luisa no est´a en Egipto.
• Regla 10: Si Alberto est´a en Egipto, entonces Carmen no est´a en
Egipto.
• Regla 11: Si Alberto est´a en Egipto, entonces Tom´as no est´a en
Egipto.
• Regla 12: Si Luisa est´a en Egipto, entonces Carmen no est´a en Egipto.
• Regla 13: Si Luisa est´a en Egipto, entonces Tom´as no est´a en Egipto.
• Regla 14: Si Carmen est´a en Egipto, entonces Tom´as no est´a en
Egipto.

N´otese que existen un conjunto de seis reglas equivalentes a las anteriores.
Por ejemplo, la regla:
• Regla 14a: Si Tom´as est´a en Egipto, entonces Carmen no est´a en
Egipto,
es equivalente a (Modus Tollens) la Regla 14. Por tanto, se necesitan s´olo
seis reglas por pa´ıs.
Los conjuntos de seis reglas para cada uno de los restantes pa´ıses se generan
de forma similar. Por tanto, se tienen un total de 24 reglas adicionales
que representan el hecho de que exactamente un agente puede estar en cada
pa´ıs.