add the prolog way to sodoku

after all, not written by me :cry: