制約論理プログラミング

読み方、または別称：

Constraint logic programming

制約論理プログラミングとは

制約論理プログラミング（Constraint logic programming）は制約プログラミングの一種で、制約という問題表現・解決の考え方を導入することによって論理プログラミングを拡張したプログラミングパラダイムである。論理プログラミングの持っている宣言的な表現力に制約の考え方を導入し、より一般化したものとも言うことができる。

• 出典: フリー百科事典『ウィキペディア（Wikipedia）』
• [ 制約論理プログラミングの改定履歴 ]