CHIP (programming language)

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


Stub icon

This programming-language-related article is a stub. You can help Wikipedia by expanding it.

Read other articles:

Masa Depan Cerah

Masa Depan Cerah Björt framtíðKetuaKosong[1]Dibentuk4 Februari 2012[2]Dibubarkan2019IdeologiLiberalismeLiberalisme sosial[3]Pro-EropanismePosisi politikTengahAfiliasi EropaAlliance of Liberals and Democrats for EuropeWarnaUngu, putihLambang pemiluASitus webwww.bjortframtid.is Masa Depan Cerah (Islandia: Björt framtíðcode: is is deprecated ) adalah partai politik berhaluan liberal[4] di Islandia yang didirikan pada tahun 2012. Partai ini merupakan ang...

 

Jari

JariJari tanganJari kakiRincianPengidentifikasiBahasa LatinDigitusDaftar istilah anatomi[sunting di Wikidata] Untuk kota di Brasil, lihat Jari (kota). Jari atau jeriji[1] (Inggris: digit) merupakan bagian ujung dari anggota gerak, seperti tangan dan kaki, yang terdapat pada manusia dan hewan vertebrata. Jari manusia Jari-jari tangan kiri manusia Manusia pada umumnya memiliki 5 buah jari pada setiap ekstremitas yang ada (baik pada tangan maupun kaki), sehingga total jari yang d...

 

Valle Antrona

Valle AntronaIl torrente Troncone che si getta nel Lago di AntronaStati Italia Regioni Piemonte Province Verbano-Cusio-Ossola Località principaliMontescheno, Borgomezzavalle, Antrona Schieranco Comunità montanaComunità montana delle Valli dell'Ossola FiumeOvesca Superficie141,43 km² Nome abitantiAntronesi Sito web Modifica dati su Wikidata · ManualeCoordinate: 46°04′01.2″N 8°07′01.2″E / 46.067°N 8.117°E46.067; 8.117 La Valle Antrona è ...

Dried shredded squid

Seafood product Dried shredded squidChinese name (by strand)Traditional Chinese魷魚絲Simplified Chinese鱿鱼丝Hanyu Pinyinyóu yú sīJyutpingjau4 jyu4*2 si1 Literal meaningsquid strandTranscriptionsStandard MandarinHanyu Pinyinyóu yú sīYue: CantoneseJyutpingjau4 jyu4*2 si1Southern MinHokkien POJjiû-hî-chhuì (鰇魚絲)Chinese name (by slice)Traditional Chinese魷魚片Simplified Chinese鱿鱼片Hanyu Pinyinyóu yú piànJyutpingjau4 jyu4*2 pin3 TranscriptionsStandard Man...

 

Posadas de Puerto Rico Associates v. Tourism Co. of Puerto Rico

1986 United States Supreme Court casePosadas de Puerto Rico Associates v. Tourism Company of Puerto RicoSupreme Court of the United StatesArgued April 28, 1986Decided July 1, 1986Full case namePosadas de Puerto Rico Associates, dba Condado Holiday Inn v. Tourism Company of Puerto Rico et al.Citations478 U.S. 328 (more)106 S. Ct. 2968; 92 L. Ed. 2d 266HoldingPuerto Rico's Games of Chance Act of 1948, as narrowed by the Puerto Rican Superior Court, was not facially unconstitutional because the...

 

MyAnna Buring

Swedish-born British actress (born 1979) MyAnna BuringBuring at the British Independent Film Awards 2014BornMy Anna Margaretha Buring Rantapää (1979-09-22) 22 September 1979 (age 44)[1]Sundsvall, Västernorrland, SwedenNationality Swedish British[2] Alma mater University of Bristol LAMDA OccupationActressYears active2004–presentChildren1 MyAnna Buring (Swedish: [mʏˈânːa ˈbʉ̂ːrɪŋ]; born 22 September 1979 as My Anna Margaretha Buring Rantapä...

Iowa Department of Human Services

This article may rely excessively on sources too closely associated with the subject, potentially preventing the article from being verifiable and neutral. Please help improve it by replacing them with more appropriate citations to reliable, independent, third-party sources. (June 2022) (Learn how and when to remove this message) Iowa Department of Health and Human ServicesAgency overviewFormed1937JurisdictionGovernment of IowaHeadquartersDes Moines, Iowa, U.S.Agency executiveKelly Kennedy Ga...

 

Unione Sportiva Triestina 1967-1968

Questa voce sull'argomento stagioni delle società calcistiche italiane è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Voce principale: Unione Sportiva Triestina Calcio. Unione Sportiva TriestinaStagione 1967-1968Sport calcio Squadra Triestina Allenatore Enrico Radio Presidente Giorgio Guarnieri Serie C15º posto nel girone A. Maggiori presenzeCampionato: Pedroni (37) Miglior marcatoreCampionato:...

 

White Reflection

1997 single by Two-MixWhite ReflectionSingle by Two-Mixfrom the album BPM Best Files LanguageJapaneseB-sideBurningReleasedJanuary 15, 1997 (1997-01-15)Recorded1996GenreJ-popelectropopanisonLength4:48LabelKing RecordsComposer(s)Minami TakayamaLyricist(s)Shiina NaganoProducer(s)Two-MixTwo-Mix singles chronology Rhythm Generation (1996) White Reflection (1997) True Navigation (1997) Music videosWhite Reflection (Short Ver.) on YouTube White Reflection is the sixth single by J-pop ...

约翰斯顿环礁

此條目可参照英語維基百科相應條目来扩充。 (2021年5月6日)若您熟悉来源语言和主题，请协助参考外语维基百科扩充条目。请勿直接提交机械翻译，也不要翻译不可靠、低品质内容。依版权协议，译文需在编辑摘要注明来源，或于讨论页顶部标记{{Translated page}}标签。 约翰斯顿环礁Kalama Atoll 美國本土外小島嶼 Johnston Atoll 旗幟颂歌：《星條旗》The Star-Spangled Banner約翰斯頓環礁�...

 

Хип-хоп

Хип-хоп Направление популярная музыка Истоки фанкдискоэлектронная музыкадабритм-энд-блюзреггидэнсхоллджаз[1]чтение нараспев[англ.]исполнение поэзииустная поэзияозначиваниедюжины[англ.]гриотыскэтразговорный блюз Время и место возникновения Начало 1970-х, Бронкс, Н...

 

Bhagat Singh Thind

Indian American writer and civil rights activist Not to be confused with Bhagat Singh. Bhagat Singh ThindSergeant Bhagat Singh Thind in U.S. Army uniform during World War I at Camp Lewis, Washington, in 1918. Thind, an American Sikh, was the first U.S. serviceman to be allowed for religious reasons to wear a turban as part of his military uniform.Born(1892-10-03)October 3, 1892Taragarh Talawa, Amritsar, Punjab, British IndiaDiedSeptember 15, 1967(1967-09-15) (aged 74)Los Angeles, Califor...

Mehran (district)

Neighborhood of Tehran, Iran For other uses, see Mehran. This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Mehran district – news · newspapers · books · scholar · JSTOR (October 2011) (Learn how and when to remove this message) Location of Mehran (black) in Municipal District No. 4 (dark grey) of Tehran metropolis Mehran d...

 

Lithuanian mythology

Religion of pre-Christian Lithuanians Part of a series onBaltic religion Mythology Prussian Lithuanian Latvian Indo-European Deities Panbaltic Perkūnas Velnias Dievas Saulė Mėnulis Prussian Patollo Peckols Potrimpo Swayxtix Autrimps Aušlavis Bardoayts Kurka Pilnytis Puszajtis Latvian Ūsiņš Ceroklis Jumis Auseklis Laima Dēkla Kārta Lauma Māra Mahte Lithuanian Gabija Žemyna Laima Medeina/Žvorūna Laumė/Ragana Aušrinė Bangpūtys/Vėjopatis Rūgutis Miscellaneous Aitvaras Kaukai Ba...

 

Valencia

Disambiguazione – Se stai cercando altri significati, vedi Valencia (disambigua). ValenciacomuneValència Valencia – Veduta LocalizzazioneStato Spagna Comunità autonoma Valencia ProvinciaValencia AmministrazioneAlcaldeMaría José Catalá Verdet (PP) dal 17-6-2023 TerritorioCoordinate39°29′N 0°22′W39°29′N, 0°22′W (Valencia) Altitudine16 m s.l.m. Superficie134,65 km² Abitanti807 693[3] (2023) Densità5 998,46 ab./km² C...

Caso Azzini

Renato Azzini con la maglia del Padova Con il termine caso Azzini, o caso Atalanta,[1] si intende la combine della partita di Serie A Padova-Atalanta (0-3) del 30 marzo 1958[2], messa a punto dal calciatore patavino Renato Azzini, dall'ex portiere Giuseppe Casari e dal faccendiere Eugenio Gaggiotti, vicenda che portò alla squalifica di due anni di Azzini e alla retrocessione dell'Atalanta in Serie B. Indice 1 Antefatti 2 I fatti 3 Il processo 4 Sentenze 5 Note 6 Bibliografia ...

 

الدوري التونسي لكرة اليد 1969–70

الدوري التونسي لكرة اليد للرجال الموسم 1969-1970 البلد تونس  المنظم الجامعة التونسية لكرة اليد  النسخة 15 عدد الفرق 12   الفائز النادي الإفريقي الزيتونة الرياضية (الثاني) الدوري التونسي لكرة اليد 1968–69  الدوري التونسي لكرة اليد 1970–71  تعديل مصدري - تعديل   الدوري ال...

 

Liga Nacional de Fútbol Profesional de Honduras

Highest division football league in Honduras Football leagueLiga Nacional de Fútbol Profesional de HondurasFounded10 May 1964; 60 years ago (1964-05-10)First season1965–66Country HondurasConfederationCONCACAFNumber of teams10Level on pyramid1Relegation toLiga de AscensoDomestic cup(s)Honduran CupInternational cup(s)CONCACAF Champions CupCentral American CupCurrent championsOlimpiaMost championshipsOlimpia (38)TV partnersTVC, Tigo Sports HondurasWebsitewww.lnphn.com Curren...

Nada

Dalam notasi musik, posisi vertikal not yang berbeda menunjukkan perbedaan nada. Mainkan atasⓘ & Mainkan bawahⓘ Nada[1] (bahasa Inggris: tone) adalah bunyi yang beraturan dan memiliki frekuensi tunggal tertentu. Dalam teori musik, setiap nada memiliki tala tertentu menurut frekuensinya ataupun jarak relatif tinggi nada tersebut terhadap tinggi nada patokan. Nada dasar suatu karya musik menentukan frekuensi tiap nada dalam karya tersebut. Nada dapat diatur dalam tangga nada...

 

Pete Docter

Pete Docter nel 2015 Oscar al miglior film d'animazione 2010 Oscar al miglior film d'animazione 2016 Oscar al miglior film d'animazione 2021 Peter Hans Docter detto Pete (Bloomington, 9 ottobre 1968) è un regista, sceneggiatore, animatore, doppiatore e produttore cinematografico statunitense. Firma di Pete Docter Dal 2018, in seguito alle dimissioni di John Lasseter, ricopre il ruolo di direttore creativo dei Pixar Animation Studios.[1] Indice 1 Biografia 1.1 Vita privata 2 Carriera ...