>>366
俺の小汚ないコード使わんでも公式のサンプルそのまま使えるだろ。こっちの方がさらに短い。
https://www.swi-prolog.org/pldoc/man?section=clpfd-sudoku

:- use_module(library(clpfd)).
でclpfdライブラリ読み込んどくこと。