Following is a demo of the Leftwall Prolog program.
?- solve(_). [[2,1],[2,2],[3,2],[3,3],[3,4],[3,5],[2,5],[2,6]] true .