Using Clojure's core.logic to solve a logic puzzle.