horse n = horseMoves 1 1 [[1,1]] (n+1) (n*n) 

notContained _ [] = True
notContained x (y:ys) | x/=y = notContained x ys
		      | x==y = False

horseMoves _ _ out _ 1 = out

horseMoves rx cx out n p	| ry>0 && ry<n && cy>0 && cy<n && notContained [ry,cy] out = horseMoves ry cy (out++[[ry,cy]]) n (p-1)
				where ry=rx+2
			    	      cy=cx+1

horseMoves rx cx out n p	| ry>0 && ry<n && cy>0 && cy<n && notContained [ry,cy] out = horseMoves ry cy (out++[[ry,cy]]) n (p-1)
				where ry=rx+2
				      cy=cx-1

horseMoves rx cx out n p	| ry>0 && ry<n && cy>0 && cy<n && notContained [ry,cy] out = horseMoves ry cy (out++[[ry,cy]]) n (p-1)
				where ry=rx-2
				      cy=cx+1

horseMoves rx cx out n p	| ry>0 && ry<n && cy>0 && cy<n && notContained [ry,cy] out = horseMoves ry cy (out++[[ry,cy]]) n (p-1)
				where ry=rx-2
				      cy=cx-1

horseMoves rx cx out n p	| ry>0 && ry<n && cy>0 && cy<n && notContained [ry,cy] out = horseMoves ry cy (out++[[ry,cy]]) n (p-1)
				where ry=rx+1
				      cy=cx+2

horseMoves rx cx out n p	| ry>0 && ry<n && cy>0 && cy<n && notContained [ry,cy] out = horseMoves ry cy (out++[[ry,cy]]) n (p-1)
				where ry=rx+1
				      cy=cx-2

horseMoves rx cx out n p	| ry>0 && ry<n && cy>0 && cy<n && notContained [ry,cy] out = horseMoves ry cy (out++[[ry,cy]]) n (p-1)
				where ry=rx-1
				      cy=cx+2

horseMoves rx cx out n p	| ry>0 && ry<n && cy>0 && cy<n && notContained [ry,cy] out = horseMoves ry cy (out++[[ry,cy]]) n (p-1)
				where ry=rx-1
				      cy=cx-2
main = horse 4