制約プログラミング
from
プログラミングスタイルのパラダイム
制約プログラミング
https://ja.wikipedia.org/wiki/制約プログラミング
https://en.wikipedia.org/wiki/Constraint_programming