HOMEプロダクト一覧CHIP特徴

特徴CHIP:制約論理プログラミング言語

現実問題を自然に表現

CHIPの強力な組み込み述語と、PROLOGの問題記述能力により複雑な現実の問題を自然なモデルとしてプログラミングできます。

開発期間の短縮とメンテナンス性の向上

モデル化が自然なので、従来型言語と比べて開発期間が大幅に短縮できます。理解しやすいプログラムにより、仕様変更等の環境変化にも柔軟に対応できます。

効率的な実行

ドメイン(計算領域)の概念の導入により、実行効率を損なうことなく問題を解きます。複雑な問題に対しては、ユーザの経験則を埋め込むことにより、さらに効率の向上を図ることができます。

デバッグツール

CHIPの探索過程ビジュアル化ツールは、解の探索過程や制約伝播処理による探索空間の削減状況などを視覚的に確認することができます。問題に応じた探索アルゴリズムのチューニングに活用できます。

CHIP:制約論理プログラミング言語 探索過程のビジュアル化


このページの先頭へ