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, I chose minikanren, and the following code demonstrates the idea:(import