Jump to content

CHIP (programming language)

From Wikipedia, the free encyclopedia
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

CHIP (Constraint Handling in Prolog) is a constraint logic programming language developed by M. Dincbas, Pascal Van Hentenryck and colleagues in 1985 at the European Computer-Industry Research Centre (ECRC), initially using a Prolog language interface.[1] It was the first programming language to implement constraint programming over finite domains, [2][3] and subsequently to introduce the concept of global constraints.[4]

CHIP V5 is the version developed and marketed by COSYTEC in Paris since 1993 with Prolog, using C, C++, or Prolog language interfaces.[5] The commercially successful ILOG CPLEX solver is also, partly, an offshoot of the ECRC version of CHIP.

References

  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. 20 (12). Elsevier: 97–123. CiteSeerX 10.1.1.47.721. doi:10.1016/0895-7177(94)90127-9.
  5. ^ CHIP V5 Second Generation Constraint Programming Technology CHIP V5, COSYTEC