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