私はソルバーの一般的な形式が以下のようなボードソルバーを持っています:
solver(Board):-
constraints(Board),
search(Board).
制約述語を渡しますが、以下の検索部分にエラーがあります。
search(Board):-
term_variables(Board,Vars),
sd:labeling(Vars).
エラーはラベル述語で発生し、エラーは次のとおりです。
ドメイン内のインスタンス化エラー(_258{[9 .. 13, 15 .. 20]})
それで、問題は何ですか？(indomain 述語に問題は見られません)。