CHIP (programming language): Difference between revisions

Revision as of 09:23, 21 October 2016

Revision as of 00:03, 17 September 2019

Line 1:

{{notability|date=October 2011}}

'''CHIP''' (Constraint Handling in Prolog) is a [[constraint logic programming]] language developed by M. Dincbas, [[Pascal Van Hentenryck]] and aliascolleagues in 1985 at the European Computer-Industry Research Centre (ECRC), initially using a [[Prolog]] language interface.<ref name="RossiBeek2006">{{cite book|author1=Francesca Rossi|author2=Peter Van Beek|author3=Toby Walsh|title=Handbook of constraint programming|url=https://books.google.com/books?id=Kjap9ZWcKOoC&pg=PA444|year=2006|publisher=Elsevier|isbn=978-0-444-52726-4|page=444}}</ref> CHIP V5 is the version developed and marketed by COSYTEC in Paris since 1993 with Prolog, using [[C (programming language)|C]], [[C++]], or Prolog language interfaces.<ref>[http://www.cosytec.com/production_scheduling/chip/chip_technology.htm CHIP V5 Second Generation Constraint Programming Technology] CHIP V5, COSYTEC</ref> The commercially successful [[ILOG]] Solver is also, partly, an offshoot of ECRC version of CHIP.

It was the first programming language to implement Constraint Programming over Finite Domains,

<ref>{{cite book |author1=Dincbas, M |author2=Van Hentenryck, P |author3=Simonis, H |author4=Aggoun, A |author5=Graf, T |author6=Berthier, F |title=The Constraint Logic Programming Language CHIP |date=1988 |publisher=Springer |___location=International Conference on Fifth Generation Computer Systems |isbn=3-540-19558-0 |pages=693-702}}</ref><ref>{{Cite book

|last=Van Hentenryck

|first=Pascal

|title=Constraint Satisfaction in Logic Programming

|date=1989

|publisher=MIT Press, Cambridge, MA

|isbn=0-262-08181-4

|url=https://mitpress.mit.edu/books/constraint-satisfaction-logic-programming

}}</ref>

and subsequently to introduce the concept of Global Constraints.

<ref>{{cite journal |last1=Beldiceanu |first1=Nicolas |last2=Contejean |first2=Evelyne |title=Introducing Global Constraints in CHIP |journal=Mathematical and computer Modelling |date=1994 |volume=20 |issue=12 |pages=97-123 |url=https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.721 |publisher=Elsevier}}</ref>

CHIP V5 is the version developed and marketed by COSYTEC in Paris since 1993 with Prolog, using [[C (programming language)|C]], [[C++]], or Prolog language interfaces.<ref>[http://www.cosytec.com/production_scheduling/chip/chip_technology.htm CHIP V5 Second Generation Constraint Programming Technology] CHIP V5, COSYTEC</ref> The commercially successful [[ILOG]] Solver is also, partly, an offshoot of ECRC version of CHIP.

== References ==