Reporte #5: Lenguajes Logicos!

El problema logico que me toco resolver se llama Sombreros Blancos y Negros y es el siguiente:

Loa Caníbales emboscan a un safari en la selva y capturan a tres hombres. Los caníbales dan a los hombres una oportunidad única para escapar sin ser comidos.

Los cautivos se alinean en orden de altura, y están atados a estacas. El hombre en la parte trasera puede ver las espaldas de sus dos amigos, el hombre en el medio se puede ver la espalda del hombre en el frente, y el hombre en el frente no puede ver a nadie. Los caníbales muestran a los hombres cinco sombreros. Tres de los sombreros son de color negro y dos de los sombreros son de color blanco.

Se les colocan vendas sobre los ojos de cada hombre y un sombrero se coloca en la cabeza de cada hombre. Los dos sombreros sobrantes están ocultos. Las vendas se retiran y se dice a los hombres que si uno de ellos se puede adivinar qué color de sombrero que lleva puesto que todos pueden salir ileso.

El hombre en la parte trasera que puede ver los dos sombreros de sus amigos, pero no la suya, dice, "no sé". El hombre de mediana que puede ver el sombrero del hombre en el frente, pero no la suya, dice, "no sé". El hombre frente a quien no puede ver el sombrero de nadie dice "¡Lo sé!"

¿Cómo sabía el color de su sombrero y de qué color era?

SOLUCION

El color del sombrero del hombre es negro porque sabía que el primer hombre no vio dos sombreros blancos ( si ubiera visto los dos sombreros blancos sabria que el color del sombrero seria negro puesto que solamente hay dos blancos) y el segundo hombre no vio un sombrero blanco, porque si él vio un sombrero blanco, el segundo hombre hubiera sabido que su sombrero era negro.

Programa en Prolog:

Este es un pequeño programa en Prolog:

domains

      palabra=symbol

predicates

      animales(palabra)

      utiles_escolares(palabra)

      personas(palabra)

clauses

      animales(leon).

      animales(pato).

      utiles_escolares(colores).

      personas(juan).

----------------------------------------------------

predicates
       animal_domestico(X) :- mascota(X), ladra(X)
       animal_domestico(X) :- mascota(X), maulla(X)

clauses
      mascota(pita).
      mascota(fibi).
      mascota(coby).

      ladra(pita)
      maulla(fibi)
      ruge(coby)

----------------------------------------------------

predicates

      comida(alimento)

clauses

      alimento(cereal).

      alimento(verduras).

      alimento(leche).

      alimento(huevo).

      alimento(pollo).

      alimento(carne).

      alimento(helado).

Espero que este reporte cumpla con lo requerido.

Paola Cantú 1429400