logic programming

So, a friend posted up his functional version of a challenge. The first thing I thought was how this would be a great thing to encode into a Logic programming language. Of course,