Following is a demo of the maze_mything.pl program.
?- solve(Path). Path = [[2, 1], [2, 2], [3, 2], [3, 3], [3, 4], [3, 5], [2, 5], [2|...]] [write] Path = [[2, 1], [2, 2], [3, 2], [3, 3], [3, 4], [3, 5], [2, 5], [2, 6]]