Here's one in Clojure using its core.logic library. I'd say it's pretty neat. You can do something similar in something like Prolog, but a Java implementation would look very different.

https://github.com/sideshowcoder/core-logic-sudoku-solver/bl...