Laberinto comecocos en prolog



Necesitamos que nuestro comecocos salga de un laberinto.  El comecocos es capaz de moverse a derecha, izquierda, arriba y abajo.  Implementar en Prolog un programa que permita a nuestrocomecocos buscar la salida de un laberinto cualquiera.

Representaciones:


Laberinto: El significado del laberinto que debemos codificar es el de adyacencia de posiciones y el de accesibilidad ono de las posiciones. Cualquier posible representación que recoja esta información nos es válida. Ejemplo: una matriz de caracteres.



Comecocos: La información relevante del comecocos a lolargo de la resolución del problema es su posición en el laberinto.

Estados:
Los posibles estados del sistema vendrán determinados únicamente por la posición del comecocos, ya que es ésta la únicainformación que puede variar. El estado inicial será la entrada al laberinto. El estado final será la salida.

Transición de estados: (transiciones posibles, operadores)


Si los estados sonlas posiciones, una transición de estados consiste en pasar de una posición a otra. Las posibles acciones que podemos efectuar para pasar de un estado a otro son los movimientos del comecocos: moversearriba, moverse abajo, moverse a la derecha, moverse a la izquierda. Consideraremos los operadores ‘arriba’, ‘abajo’, ‘izquierda’ y ‘derecha’ que aplicados a un estado generan uno nuevo según lassiguientes operaciones:
arriba(X1,Y1) = X1,Y2 tal que Y2 es Y1-1 ( consideramos que Y crece hacia abajo )

abajo(X1,Y1) = X1,Y2 tal que Y2 es Y1+1 derecha(X1,Y1) = X2,Y1 tal que X2 es X1+1izquierda(X1,Y1) = X2,Y1 tal que X2 es X1-1

Transición de estados: (restricciones)


Las restricciones nos marcan qué estados son válidos y qué estados no lo son. En nuestro problema, lasrestricciones vienen impuestas por el laberinto: no se pueden exceder las dimensiones del laberinto y nuestro comecocos sólo puede estar en posiciones que sean pasillo. Por tanto, serán válidos los estados que...