logic programming

So, a friend posted up his functional version of a challenge. The first thing I thought was how this would