logic programming

So, a friend posted up his functional version [http://www.nicholascloud.com/2010/12/getting-a-clue-with-f-sharp/] of a challenge [http://www.