Solving Killer Sudoku Using Prolog Clpfd(m00nlight.github.io)

https://m00nlight.github.io/constraint%20logic%20programming/2018/11/18/prolog-clpfd-solve-killer-sudoku-and-greater-killer-sudoku