制約論理プログラミング#

論理プログラミングを制約プログラミングによって拡張したプログラミングパラダイムである．制約論理型プログラミング言語は，論理型プログラミング言語をベースに，その上で表現された制約を満たす解を探索するアルゴリズムを備えている．プログラミング言語として Prolog 処理系の多くがサポートをしている．