CHIP(프로그래밍 언어)

CHIP (programming language)

CHIP(Constraint Handling in Prolog)는 M에 의해 개발된 제약 로직 프로그래밍 언어입니다.1985년 Dincbas, Pascal Van Hentenryck 및 유럽컴퓨터산업연구센터(ECRC)의 동료들은 처음에는 프롤로그 [1]언어 인터페이스를 사용했습니다.유한 도메인에 제약 프로그래밍을 구현한 최초의 프로그래밍 언어이며, 이후 글로벌 제약 개념을 도입했습니다.[4]

CHIP V5는 COSYTEC이 1993년 이후 파리에서 C, C++ 또는 Prolog 언어 [5]인터페이스를 사용하여 Prolog와 함께 개발 및 판매한 버전입니다.상업적으로 성공한 ILOG 솔버도 부분적으로는 CHIP의 ECRC 버전의 일부입니다.

레퍼런스

  1. ^ Francesca Rossi; Peter Van Beek; Toby Walsh (2006). Handbook of constraint programming. Elsevier. p. 444. ISBN 978-0-444-52726-4.
  2. ^ Dincbas, M; Van Hentenryck, P; Simonis, H; Aggoun, A; Graf, T; Berthier, F (1988). The Constraint Logic Programming Language CHIP. International Conference on Fifth Generation Computer Systems: Springer. pp. 693–702. ISBN 3-540-19558-0.
  3. ^ Van Hentenryck, Pascal (1989). Constraint Satisfaction in Logic Programming. MIT Press, Cambridge, MA. ISBN 0-262-08181-4.
  4. ^ Beldiceanu, Nicolas; Contejean, Evelyne (1994). "Introducing Global Constraints in CHIP". Mathematical and Computer Modelling. Elsevier. 20 (12): 97–123. CiteSeerX 10.1.1.47.721. doi:10.1016/0895-7177(94)90127-9.
  5. ^ 칩 V5 2세대 제약 프로그래밍 테크놀로지 칩 V5, COSYTEC

외부 링크