Following is a demo of the maze_left_wall.pl program.
% c:/Users/kchan2/YING/College Work/SUNY Oswego/Fall 2021/CSC 366/COG366WorkSite/prolog/maze_left_wall.pl compiled 0.00 sec, 47 clauses
?- solve(Path).
Path = [[2, 1], [2, 2], [3, 2], [3, 2], [3, 3], [4, 3], [5, 3], [5|...], [...|...]|...] [write]
Path = [[2, 1], [2, 2], [3, 2], [3, 2], [3, 3], [4, 3], [5, 3], [5, 2], [5, 2], [5, 2], [5, 3], [5, 4], [5, 5],
[5, 5], [5, 5], [5, 4], [5, 3], [4, 3], [3, 3], [3, 4], [3, 5], [3, 5], [2, 5], [2, 6]] ;
false.