Constraint Programming
Pascal Van Hentenryck1
1 NSF AI Institute for Advances in Optimization, H. Milton School of Industrial and Systems Engineering, Georgia Institure of Technology, Atlanta, Georgia (USA)
Revue Ouverte d'Intelligence Artificielle, Hommage à Alain Colmerauer, Volume 5 (2024) no. 2-3, pp. 139-159.

Cet article relate l’histoire de la programmation par contraintes, une des contributions scientifiques les plus remarquables et durables de la carrière d’Alain Colmerauer. C’est une histoire personnelle, pour avoir vécu et contribué aux évenements rapportés ici.

This article recounts the story of constraint programming, one of the most remarkable and enduring scientific contributions of Alain Colmerauer. It is a personal story, having lived through, and contributed to, the events that are reported here.

Reçu le :
Accepté le :
Publié le :
DOI : 10.5802/roia.76
Keywords: Logic programing, Prolog, Constraint programming
Mots clés : Programmation logique, Prolog, programmation par contraintes

Pascal Van Hentenryck 1

1 NSF AI Institute for Advances in Optimization, H. Milton School of Industrial and Systems Engineering, Georgia Institure of Technology, Atlanta, Georgia (USA)
Licence : CC-BY 4.0
Droits d'auteur : Les auteurs conservent leurs droits 
@article{ROIA_2024__5_2-3_139_0,
     author = {Pascal Van Hentenryck},
     title = {Constraint {Programming}},
     journal = {Revue Ouverte d'Intelligence Artificielle},
     pages = {139--159},
     publisher = {Association pour la diffusion de la recherche francophone en intelligence artificielle},
     volume = {5},
     number = {2-3},
     year = {2024},
     doi = {10.5802/roia.76},
     language = {en},
     url = {https://roia.centre-mersenne.org/articles/10.5802/roia.76/}
}
TY  - JOUR
AU  - Pascal Van Hentenryck
TI  - Constraint Programming
JO  - Revue Ouverte d'Intelligence Artificielle
PY  - 2024
SP  - 139
EP  - 159
VL  - 5
IS  - 2-3
PB  - Association pour la diffusion de la recherche francophone en intelligence artificielle
UR  - https://roia.centre-mersenne.org/articles/10.5802/roia.76/
DO  - 10.5802/roia.76
LA  - en
ID  - ROIA_2024__5_2-3_139_0
ER  - 
%0 Journal Article
%A Pascal Van Hentenryck
%T Constraint Programming
%J Revue Ouverte d'Intelligence Artificielle
%D 2024
%P 139-159
%V 5
%N 2-3
%I Association pour la diffusion de la recherche francophone en intelligence artificielle
%U https://roia.centre-mersenne.org/articles/10.5802/roia.76/
%R 10.5802/roia.76
%G en
%F ROIA_2024__5_2-3_139_0
Pascal Van Hentenryck. Constraint Programming. Revue Ouverte d'Intelligence Artificielle, Hommage à Alain Colmerauer, Volume 5 (2024) no. 2-3, pp. 139-159. doi : 10.5802/roia.76. https://roia.centre-mersenne.org/articles/10.5802/roia.76/

[1] G. Battani; H. Meloni Interpreteur du Langage de Programmation Prolog (1973) (Internal Report)

[2] Frédéric Benhamou Interval constraint logic programming, Constraint Programming: Basics and Trends (Andreas Podelski, ed.), Springer Berlin, Heidelberg, Berlin, Heidelberg (1995), pp. 1-21 | DOI

[3] K.L. Clark Negation as Failure, Logic and data bases (H. Gallaire; J. Minker, eds.), Plenum Press, New York, 1978 | DOI

[4] A. Colmerauer PROLOG II : Manuel de Reférence et Modèle Théorique (1982) (Technical report)

[5] A. Colmerauer Prolog in 10 Figures, IJCAI-83, Karlsruhe (1983), pp. 487-499

[6] A. Colmerauer Equations and Inequations on Finite and Infinite Trees, Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS-84), Tokyo, Japan, ICOT (1984), pp. 85-99

[7] A. Colmerauer PROLOG III: Copy of slides, IEEE International Symposium on Logic Programming, Atlantic City, New Jersey (1984)

[8] A. Colmerauer Opening the Prolog-III Universe, BYTE Magazine, Volume 12 (1987) no. 9, p. 177–182 | DOI

[9] A. Colmerauer An Introduction to Prolog III, Commun. ACM, Volume 33 (1990) no. 7, p. 69–90 | DOI

[10] A. Colmerauer Spécification de Prolog IV (1996) (Technical report)

[11] A. Colmerauer; H. Kanoui; M. Van Caneghem Prolog, bases théoriques et développements actuels, T.S.I. (Techniques et Sciences Informatiques), Volume 2 (1983) no. 4, pp. 271-311 | Zbl

[12] M. Dincbas; P. Van Hentenryck; H. Simonis; A. Aggoun; T. Graf; F. Berthier The Constraint Logic Programming Language CHIP, Proceedings of the International Conference on Fifth Generation Computer Systems, Tokyo, Japan (1988), pp. 693-702

[13] A. Gargani; P. Refalo An Efficient Model and Strategy for the Steel Mill Slab Design Problem, Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming (CP’07) (2007), pp. 77-89 | DOI

[14] Glassdoor How much does a Truck Mechanic make?, https://www.glassdoor.com/Salaries/truck-mechanic-salary-SRCH_KO0,14.htm, 2023 (Accessed: 2023-04-28)

[15] William Greene Autonomous Freight Vehicles: They’re Heeeeere!, Autonomous Cars – Self-Driving the New Auto Industry Paradigm (Ravi Shanker; Adam Jonas; Scott Devitt; Katy Huberty; Simon Flannery; William Greene et al., eds.), Morgan Stanley & Co. LLC, 2013, pp. 85-89

[16] R.M. Haralick; G.L. Elliot Increasing Tree Search Efficiency for Constraint Satisfaction Problems, Artif. Intell., Volume 14 (1980) no. 3, pp. 263-313 | DOI

[17] J. Jaffar; J-L. Lassez Constraint logic programming, Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL-87), Association for Computing Machinery, Munich, Germany (1987), p. 111–119 | DOI

[18] J. Jaffar; S. Michaylov Methodology and Implementation of a CLP System, Fourth International Conference on Logic Programming, Melbourne, Australia (1987), pp. 196-218

[19] Adam Lally; Paul Fodor Natural Language Processing With Prolog in the IBM Watson System, Association for Logic Programming Newsletter, 2011

[20] J-L. Lauriere A Language and a Program for Stating and Solving Combinatorial Problems, Artif. Intell., Volume 10 (1978) no. 1, pp. 29-127 | DOI | Zbl

[21] Chungjae Lee; Wirattawut Boonbandansook; Vahid Eghbal Akhlaghi; Kevin Dalmeijer; Pascal Van Hentenryck Constraint Programming to Improve Hub Utilization in Autonomous Transfer Hub Networks, Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, Volume 280, Leibniz International Proceedings in Informatics (LIPIcs) (2023), p. 46:1-46:11 | DOI

[22] A. K. Mackworth Consistency in Networks of Relations, Artif. Intell., Volume 8 (1977) no. 1, pp. 99-118 | DOI | Zbl

[23] Roland Berger Shifting up a gear – Automation, electrification and digitalization in the trucking industry (2018) https://www.rolandberger.com/publications/publication_pdf/roland_berger_trucking_industry.pdf (https://www.rolandberger.com/publications/publication_pdf/roland_berger_trucking_industry.pdf)

[24] Ryder System, Inc.; *Anonymized for double blind* The Impact of Autonomous Trucking: A Case-Study of Ryder’s Dedicated Transportation Network, Ryder Newsroom, 2021 (https://newsroom.ryder.com/news/news-details/2021/Ryder-Teams-Up-with-Georgia-Tech-for-Industrys-First-Data-Driven-Study-on-Impact-of-Autonomous-Trucking/)

[25] Andreas Schutt; Thibaut Feydy; Peter J. Stuckey; Mark G. Wallace Explaining the cumulative propagator, Constraints, Volume 16 (2011) no. 3, pp. 250-282 | DOI | Zbl

[26] Mohsen Shahandasht; Binaya Pudasaini; Sean Logan McCauley Autonomous Vehicles and Freight Transportation Analysis (2019) (Technical report) | DOI

[27] P. Shaw Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems, Proceedings of Fourth International Conference on the Principles and Practice of Constraint Programming (CP’98), Springer Verlag, Berlin, Heidelberg (1998), pp. 417-431 | DOI

[28] Jeffrey Short; Dan Murray Identifying Autonomous Vehicle Technology Impacts on the Trucking Industry, American Transportation Research Institute, 2016 (http://atri-online.org/2016/11/15/identifying-autonomous-vehicle-technology-impacts-on-the-trucking-industry/)

[29] Peter Slowik; Ben Sharpe Automation in the long haul: Challenges and opportunities of autonomous heavy-duty trucking in the United States, The International Council on Clean Transportation, 2018 (https://theicct.org/publications/automation-long-haul-challenges-and-opportunities-autonomous-heavy-duty-trucking-united)

[30] P. Van Hentenryck Constraint Satisfaction in Logic Programming, The MIT Press, Cambridge, MA, 1989

[31] P. Van Hentenryck; M. Dincbas Domains in Logic Programming, Proceedings of the Fifth AAAI National Conference on Artificial Intelligence (AAAI-86), AAAI Press, Philadelphia, PA (1986), p. 759–765 | DOI

[32] P. Van Hentenryck; P. Flener; J. Pearson; M. Ågren Tractable Symmetry Breaking for CSPs with Interchangeable Values, Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI’03), Morgan Kaufmann Publishers Inc., Acapulco, Mexico (2003), p. 277–282 | DOI

[33] P. Van Hentenryck; T. Graf Standard forms for rational linear arithmetics in constraint logic programming, Ann. of Math. and Artif. Intel., Volume 5 (1992) no. 2-4, pp. 303-320 | DOI | Zbl

[34] P. Van Hentenryck; L. Michel The Objective-CP Optimization System, Proceedings of the 19 th International Conference on Principles and Practice of Constraint Programming (2013) | DOI

[35] Pascal Van Hentenryck; Willem van Hoeve Constraint Programming, Springer (2023) | DOI

[36] Steve Viscelli Driverless? Autonomous Trucks and the Future of the American Trucker, Center for Labor Research and Education, University of California, Berkeley, and Working Partnerships USA. http://driverlessreport.org/, 2018 http://driverlessreport.org/

[37] Duncan J Watts Everything Is Obvious: How Common Sense Fails Us, Random House LLC, 2012

Cité par Sources :