Prolog Labyrinth