Loading article…
CHIP (Constraint Handling in Prolog) は、 1985 年にM. Dincbas、Pascal Van Hentenryckらが欧州コンピュータ産業研究センター (ECRC) で開発した制約論理プログラミング言語で、当初はProlog言語インターフェイスを使用していました。[1]これは、有限領域での 制約プログラミングを 実装した最初のプログラミング言語であり、 [2] [3] その後、グローバル制約の概念を導入しました。[4]
CHIP V5は、1993年以来パリのCOSYTECがPrologで開発し販売してきたバージョンで、C、C++、またはProlog言語インターフェースを使用しています。[5]商業的に成功したILOG CPLEXソルバーも、部分的にはCHIPのECRCバージョンから派生したものです。
参考文献
- ^ フランチェスカ・ロッシ、ピーター・ヴァン・ビーク、トビー・ウォルシュ(2006)。制約プログラミングハンドブック。エルゼビア。p. 444。ISBN 978-0-444-52726-4。
- ^ Dincbas, M; Van Hentenryck, P; Simonis, H; Aggoun, A; Graf, T; Berthier, F (1988).制約論理プログラミング言語 CHIP . 第五世代コンピュータシステムに関する国際会議: Springer. pp. 693–702. ISBN 3-540-19558-0。
- ^ Van Hentenryck, Pascal (1989).論理プログラミングにおける制約充足。MIT Press、マサチューセッツ州ケンブリッジ。ISBN 0-262-08181-4。
- ^ Beldiceanu, Nicolas; Contejean, Evelyne (1994). 「CHIP におけるグローバル制約の導入」.数学およびコンピュータモデリング. 20 (12). Elsevier: 97–123. CiteSeerX 10.1.1.47.721 . doi :10.1016/0895-7177(94)90127-9.
- ^ CHIP V5 第 2 世代制約プログラミング技術 CHIP V5、COSYTEC
外部リンク
- CHIP - プログラミング言語の歴史 (アーカイブ版)