constraint logic programming

/kənˈstreɪnt ˈlɒdʒɪk ˈprəʊɡræmɪŋ/ コンストレイント ロジック プログラミング

1. 制約充足問題の解決と論理プログラミングを組み合わせたプログラミングパラダイムです。

プログラムの実行を制約条件と論理的な推論に基づいて行うプログラミングの分野を指します。特定の条件(制約)を満たす解を見つけるために使われます。
Constraint Logic Programming is a powerful paradigm for solving combinatorial problems. (制約論理プログラミングは、組み合わせ問題を解決するための強力なパラダイムです。)