The topic of this article may not meet Wikipedia's general notability guideline. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted.Find sources: "CHIP" programming language – news · newspapers · books · scholar · JSTOR (October 2011) (Learn how and when to remove this template message)

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. Elsevier. 20 (12): 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

External links


Categories