トップ > 数理計画用語集 > 制約論理プログラミング

数理計画用語集

制約論理プログラミング

読み:せいやくろんりぷろぐらみんぐ
英名:Constraint Logic Programming
関連論理プログラミング制約プログラミング

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