Prolog solver for cross-sum game http://en.wikipedia.org/wiki/Kakuro