COG366 Demo Page

Following is a demo of the DIY Prolog program.

      ?- solve(_).
      [[2,1],[2,2],[3,2],[3,3],[3,4],[3,5],[2,5],[2,6]]
      true .