Following is a demo of the Maze Left Wall program.
?- solve(X). X = [[2, 1, south], [2, 2, south], [3, 2, east], [3, 3, south], [4, 3, east], [5, 3, east], [5, 2, north], [5, 3, south], [5, 4, south], [5, 5, south], [5, 4, north], [5, 3, north], [4, 3, west], [3, 3, west], [3, 4, south], [3, 5, south], [2, 5, west], [2, 6, south]]