制約論理型言語だと変数の上限下限を自動的に切ってくれる。