Following is a demo of the Follow the Left Wall program.
? - solve(Path).
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]]
(Note: When the corrdinate is the same that means the pointer is rotating)
(Yes, this was intentional)