add the prolog way to sodoku