13-11310
- Mathias San Miguel13-10488
- Julio Fuenmayor
-
Se crearon los predicados auxiliares
onoff\1
ycompleto\2
con el fin de poder instanciar correctamente los interruptores.onoff\1
se encarga de seleccionar los modos de los interruptores ycompleto\2
se encarga de emparejar las etiquetas de los pasillos con la de los interruptores. -
Para evitar elementos repetidos, la lista de interruptores se ordeno de manera lexicográfica por las etiquetas de los pasillos.
- Ejecutar
swipl
- Cargar el archivo de la siguiente forma:
$> [celda].
- Ejecutar main:
$> main.
- Introducir un nombre de archivo con un mapa (los mapas deben finalizar con un punto (.) )