Following is a demo of the maze_heuristic.pl program.
?- solve. [[2,1],[2,2],[3,2],[3,3],[3,4],[3,5],[2,5],[2,6]] true