El mono y la banana

El mono y la bananaAcosta Segovia Nallely Alviter Alameda Maricruz Coral Garca Monterubio UbaldoIntroduccin El problema del mono y la banana se utiliza como un ejemplo sencillo de solucin de problemas. El siguiente programa en prolog mostrara como se pueden utilizar los mecanismos de ''matching'' y '' backtracking''.

Utilizaremos la siguientes versiones del problema: existe un mono en la puerta de un cuarto; en medio del cuarto cuelga una banana del techo; el mono esta hambriento y desea capturar la banana, pero no puede alcanzarla desde el piso. En la ventana del cuarto hay una caja que el mono puede usar.

El mono puede realizar solamente las siguientes acciones: caminar sobre el piso subir a la cajaempujar la caja (si el mono esta junto a la caja) agarrar la banana (si el mono esta sobre la caja y baja la banana)

Como puede el mono llegar a capturar la banana?

Anlisis del problema

Una tarea importante en programacin es encontrar una representacin del problema en trminos del lenguaje de programacin utilizando. En este caso podemos pensar del ''mundo del mono'' en trminos de ''estado'' que cambian con el tiempo. El estado actual se determina por la posicin actual de los objetos

Las transiciones permitidas que cambian el mundo de un estado a otro son la siguientes:

Agarrar la banana.subir a la cajaempujar la cajacaminar en el cuartoNo todas las transiciones son posibles en cada estado posible del mudo del mono. por ejemplo, la transicin ''agarrar la banana'' es solamente posible si el mono esta sobre la caja y bajo la banana y si no tiene todava la banana.

Anlisis del comportamiento procedural.

Consideremos la siguiente pregunta al programa anterior:

?-puede tener(estado(en la puerta, sobre el piso, en la ventana, no la tiene)).prolog contesta yes.