Following is a demo of the maze_mything program.
?- solve(X). X = [[1, 2], [2, 3], [3, 5], [5, 8], [8, 11], [11, 10], [10, 13]]