web-dev-qa-db-ja.com

clpfd

プロローグ-引数が十分にインスタンス化されていません