CHIP (programming language): Difference between revisions

Revision as of 10:31, 16 June 2011

Latest revision as of 00:02, 20 July 2025

(20 intermediate revisions by 18 users not shown)

Line 1:

{{Short description|Constraint logic programming language}}

'''CHIP''' (Constraint Handling in Prolog) is a [[constraint logic programming]] language developed by M. Dincbas in 1985 at [[ECRC]]. The commercially successful [[ILOG]] Solver was an offshoot of CHIP.<ref name="RossiBeek2006">{{cite book|author1=Francesca Rossi|author2=Peter Van Beek|author3=Toby Walsh|title=Handbook of constraint programming|url=http://books.google.com/books?id=Kjap9ZWcKOoC&pg=PA444|year=2006|publisher=Elsevier|isbn=9780444527264|page=444}}</ref>

{{notability|date=October 2011}}

'''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]].), Theinitially commerciallyusing successfula [[ILOGProlog]] Solverlanguage was an offshoot of CHIPinterface.<ref name="RossiBeek2006">{{cite book|author1=Francesca Rossi|author1link = Francesca Rossi|author2=Peter Van Beek|author3=Toby Walsh|author3link = Toby Walsh|title=Handbook of constraint programming|url=httphttps://books.google.com/books?id=Kjap9ZWcKOoC&pg=PA444|year=2006|publisher=Elsevier|isbn=9780444527264978-0-444-52726-4|page=444}}</ref>

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://archive.org/details/Constraint_00_VanH

|url-access=registration

}}</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 |publisher=Elsevier|citeseerx=10.1.1.47.721 |doi=10.1016/0895-7177(94)90127-9 }}</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] {{Webarchive|url=https://web.archive.org/web/20120716224221/http://www.cosytec.com/production_scheduling/chip/chip_technology.htm |date=2012-07-16 }} CHIP V5, COSYTEC</ref> The commercially successful [[ILOG]] [[CPLEX]] solver is also, partly, an offshoot of the ECRC version of CHIP.

== References ==

Line 5 ⟶ 21:

==External links==

* [http://hopl.murdoch.edu.au/showlanguage.prx?exp=1131&language=CHIP CHIP - History of Programming Languages]{{Dead link|date([https://web.archive.org/web/20110608095445/http://hopl.murdoch.edu.au/showlanguage.prx?exp=June1131&language=CHIP archived 2011}}version)]

[[Category:Logic programming languages]]

[[Category:Constraint satisfactionlogic programming]]

{{compu-lang-stub}}