CHIP (Constraint Handling in Prolog) is a

constraint logic programming Constraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clau ...

language developed by M. Dincbas,

Pascal Van Hentenryck Pascal Van Hentenryck (born 8 March 1963) is the A. Russell Chandler III Chair and Professor of Industrial and Systems Engineering at Georgia Tech. He is credited with pioneering advances in constraint programming and stochastic optimization, brid ...

and colleagues in 1985 at the European Computer-Industry Research Centre (ECRC), initially using a

Prolog Prolog is a logic programming language associated with artificial intelligence and computational linguistics. Prolog has its roots in first-order logic, a formal logic, and unlike many other programming languages, Prolog is intended primarily ...

language interface. It was the first programming language to implement Constraint Programming over Finite Domains, and subsequently to introduce the concept of Global Constraints. CHIP V5 is the version developed and marketed by COSYTEC in Paris since 1993 with Prolog, using C,

C++ C++ (pronounced "C plus plus") is a high-level general-purpose programming language created by Danish computer scientist Bjarne Stroustrup as an extension of the C programming language, or "C with Classes". The language has expanded significan ...

, or Prolog language interfaces.CHIP V5 Second Generation Constraint Programming Technology
CHIP V5, COSYTEC The commercially successful

ILOG ILOG S.A. was an international software company purchased and incorporated into IBM announced in January, 2009. It created enterprise software products for supply chain, business rule management, visualization and optimization. The main product ...

Solver is also, partly, an offshoot of ECRC version of CHIP.

References

External links

CHIP - History of Programming Languagesarchived version)
Logic programming languages Constraint logic programming {{compu-lang-stub