Reporte #5

Problema Lógico

Cajas de Fruta:

Estás en una isla y hay tres cajas de fruta que se han arrojado delante de ti. Una caja contiene solo manzanas, otra contiene únicamente naranjas y la otra caja contiene las dos, manzanas y naranjas.

Cada caja tiene una etiqueta una dice "manzanas", otra "naranjas", y otra "manzanas y naranjas". Usted sabe que NINGUNA de las cajas se han etiquetado correctamente - que están mal.

Si sólo se puede sacar y ver sólo una de las piezas de fruta de una sola de las cajas, ¿Cómo se puede saber el contenido real de las 3 cajas?

Solución:

Tomamos un pedazo de fruta de la caja de "Manzanas y Naranjas", Si se trata de una Manzana, entonces sabemos que es la caja de "Manzanas", ya que todas las cajas están MAL ETIQUETADAS. Esto significa que la caja MARCADA como "Manzanas" debe ser "Naranjas" y la caja MARCADA como "Naranjas" debe ser "Manzanas y Naranjas".

PROLOG

A continuación pondré el problema lógico anterior programado en Prolog, para ello use el Block de Notas para codificar los enunciados, y después los abría en Prolog para conocer la respuesta.

En esta primera prueba, estoy dando por echos, las 3 primeras lineas, le estoy asignando los valores del argumento de la prueba, y en la ultima linea pregunto, por decir así, si la "cajax" es de "manzanas" en alguna prueba.

Este ya es el programa GNU Prolog y nos arroja el resultado "yes" en respuesta al código anterior, es decir, que SI es cierto o verdadero lo que preguntamos, que en este caso fue que si las "manzanas" pertenecian a la "cajax".

En este segundo ejemplo, las 3 primeras oraciones son las mismas, solo cambiamos la pregunta que si las "naranjas" pertenecen a la "cajac".

Y por lo tanto la respuesta es "no" ya que no pertenece la "cajac" a las "naranjas", en base a los hechos que pusimos. Por eso es una oración falsa.