制約論理プログラミング
constraint logic programming
論理プログラミング
制約プログラミング
並行制約プログラミング
並行論理プログラミング
形式手法
プログラミングパラダイム
https://ja.wikipedia.org/wiki/制約論理プログラミング