COG366 Demo Page

Following is a demo of the maze_mything program.

?- solve(X).
X = [[1, 2], [2, 3], [3, 5], [5, 8], [8, 11], [11, 10], [10, 13]]