Related Books, Papers and Reports
Disclaimer
The material on this page may be copyrighted or may be the property of the respective authors.
Books
- A Gentle Guide to Constraint Logic Programming via ECLiPSe
- by Antoni Niederliński, Third edition, 2014, 570 pages, ISBN 978-83-62652-08-2. The online-version is free to download! An accessible introduction to CLP with ECLiPSe, emphasizing an intuitive understanding of the basic methods of CLP, via examples of increasing difficulty. For those who want to get started quickly with solving and optimizing combinatorial and continuous problems.
- Constraint Logic Programming using ECLiPSe
- by Krzysztof Apt and Mark Wallace, Cambridge University Press, 2006, 329 pages. A practical introduction to constraint programming and to ECLiPSe, with many examples, appropriate for a one-semester course.
- Programming with Constraints: an Introduction
- by Kim Mariott and Peter Stuckey, MIT Press, 1998. A comprehensive introduction to constraint programming, with examples in ECLiPSe.
Videos
- Introduction to Constraint Logic Programming with ECLiPSe
- by Sergii Dymchenko. Workshop at LambdaConf 2015.
- ECLiPSe E-Learning Course
- by Helmut Simonis, a self-study course on constraint programming using the ECLiPSe language. The course consists of video lectures, slides, handouts and other material.
Introductory Material
- ECLiPSe E-Learning Course
- by Helmut Simonis, a self-study course on constraint programming using the ECLiPSe language. The course consists of video lectures, slides, handouts and other material.
- ECLiPSe by Example
- by J Schimpf and K Shen, Tutorial given at CP 2007, Providence, USA, Powerpoint Slides/ PDF Slides
- ECLiPSe: A Tutorial Introduction
- by A M Cheadle, W Harvey, A J Sadler, J Schimpf, K Shen and M G Wallace. IC-Parc, Imperial College London, Technical Report IC-Parc-03-1, 2003. Pdf (old, original version), Pdf (current release), Html (current release), Powerpoint Slides
- Developing Applications with ECLiPSe
- by H Simonis. IC-Parc, Imperial College London, Technical Report IC-Parc-03-2, 2003. Pdf
- ECLiPSe Build-and-Test Setup Guide
- How to build ECLiPSe from the sources.
- ECLiPSe Programming FAQ
- maintained by Karen E. Petrie and Neil Yorke-Smith.
- Tutorials and Articles by Helmut Simonis
- Practical advice about how to do modelling, visualisation, applications, benchmarks, puzzles with CLP.
- Slides on (finite domain) Constraint Logic Programming
- by Andy King, University of Kent, 2004, Powerpoint Slides
- The ECLiPSe Open-Source Optimization Platform
- by J Schimpf and K Shen, Presentation at OSSICP'08 Workshop on Open-Source Software for Integer and Constraint Programming at CPAIOR 2008, Paris, Powerpoint Slides/ PDF Slides
- Constraint Programming Summer School 2005
- has lecture material by renowned speakers, including a course on Hybrid algorithms, local search, and Eclipse by Mark Wallace.
- Collection of ECLiPSe Models
- by Håkan Kjellerstrand, who also runs a Constraint Programming Blog.
Manuals
- Manuals for Current Stable Release
- Manuals for Latest Development Version
- Manuals Release 6.0
- Manuals Release 5.10
- Manuals Release 5.9
Applications - ECLiPSe inside
- Please help us expand this section by sending us information about your ECLiPSe application!
- Car Manufactur Supply Chain Optimization
- An ECLiPSe-based solver is a component in German car manufacturer Opel's 2015 award-winning Supply Chain Optimization tool, developed in cooperation with Flexis AG. See also [vda], [alm].
- Declaratively solving tricky Google Code Jam problems with Prolog-based ECLiPSe CLP system
- by Sergii Dymchenko and Mariia Mykhailova.
- Demonstrating several examples of solving challenging algorithmic problems from the Google Code Jam programming contest with ECLiPSe, using constraint logic programming and linear (integer) programming. Poster paper at 30th ACM/SIGAPP Symposium On Applied Computing 2015. Preprint arXiv:1412.2304.
- Hardware Resource Assignment and Configuration
- An ECLiPSe-based solver is used in Infineon's DAVE™ -- Digital Application Virtual Engineer, a development tool for microcontroller applications.
- A Declarative Language Approach to Device Configuration
- by Adrian Schüpbach, Andrew Baumann, Timothy Roscoe, Simon Peter. Journal ACM Transactions on Computer Systems (TOCS) - Special Issue APLOS 2011, Volume 30 Issue 1, February 2012, Article No. 5 .
- Using modified incremental chart parsing to ascribe intentions to animated geometric figures
- by David Pautler, Bryan L. Koenig, Boon-Kiat Quek and Andrew Ortony. Behavior Research Methods, Springer New York, 2011, pp 1-23. Author's pdf.
- Optimal Placement of Valves in a Water Distribution Network with CLP(FD)
- by Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi and Marco Franchini. Best paper award at the 27th International Conference on Logic Programming - ICLP 2011; Theory and Practice of Logic Programming, (ICLP'11) Special Issue, volume 11, issue 4-5, Cambridge Univerity Press 2011. Preprint at arXiv:1109.1248v1.
- University Timetabling in ECLiPSe
- by Marco Gavanelli, in ALP Newsletter, 19(3):2, August 2006. Pdf.
- Further applications see under Hybrid Techniques
Hybrid Techniques
- Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming
- by Kish Shen and Joachim Schimpf, in Prococeedings CP '05, Sitges/Spain, LNCS 3709, Springer Verlag, 2005, Pdf, Powerpoint Slides
- Hybrid Set Domains to Strengthen Constraint Propagation and Reduce Symmetries
- by Sadler A and Gervet C, in Prococeedings CP '04, Toronto , LNCS Springer Verlag, 2004. Pdf
- Problem Decomposition for Traffic Diversions
- by Quanshi Xia, Andrew Eremin and Mark Wallace, in Proceedings of the 1st International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems CPAIOR 2004, LNCS 3011, pp 348-363, Springer-Verlag, 2004. Pdf
- Generating Benders Cuts for a General Class of Integer Programming Problems
- by Yingyi Chu and Quanshi Xia, in Proceedings of the 1st International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems CPAIOR 2004, LNCS 3011, pp 127-141, Springer-Verlag, 2004. Pdf
- Local Probing Applied to Network Routing
- by Olli Kamarainen and Hani El Sakkout, in Proceedings of the 1st International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems CPAIOR 2004, LNCS 3011, pp 173-189, Springer-Verlag, 2004. Pdf
- A Hybrid Multicommodity Routing Algorithm for Traffic Engineering
- by W. Ouaja and B. Richards, NETWORKS, Wiley Periodicals Inc. 43(3):125--140, 2004.
- Hybrid Problem Solving in ECLiPSe
- by F. Ajili and M. Wallace, Chapter 6 in Constraint and Integer Programming: Toward a Unified Methodology, pp. 169-201. Book edited by: Michela Milano. Kluwer Academic Publishers. October 2003.
- A Hybrid Solver for Optimal Routing of Bandwidth-guaranteed Traffic
- by W. Ouaja and B. Richards, Proc. of the International Network Optimization Conference (INOC'03) , pp. 441-447, Evry/Paris, 2003. Pdf
- A Probe-based Algorithm for Piecewise Linear Optimization in Scheduling
- by F. Ajili and H. El Sakkout, In Annals of Operations Research, pp. 118:35-48. January, 2003. Pdf
- Using ECLiPSe to solve large-scale piecewise linear scheduling problems
- by Olli Kamarainen. ECLiPSe User Group Newsletter, October 2002. MS Word, Pdf.
- An Improved Hybrid Model for the Generic Hoist Scheduling Problem
- by Riera, D. and Yorke-Smith, N. Annals of Operations Research 115, 173-191, September 2002. Pdf
- Local probing applied to scheduling
- by Olli Kamarainen and Hani El Sakkout, in P. Van Hentenryck (Ed.): Proceedings of 8th International Conference on Principles and Practice of Constraint Programming - CP 2002, Ithaca, NY, USA, September 9-13, 2002. LNCS 2470, pg 155-171. Paper
- LP Probing for Piecewise Linear Optimization in Scheduling
- by Farid Ajili and Hani El Sakkout in Proceedings of 3rd International Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, CP-AI-OR'2001 pg 189--203. Pdf
- Hybrid Benders Decomposition Algorithms in Constraint Logic Programming
- by Eremin A and Wallace M G, in Constraint Logic Programming, in Proceedings of the Seventh International Conference on Principles and Practices of Constraint Programming - CP '01, LNCS 2239, pg 1-15, Springer-Verlag, 2001. Pdf
- Finding the Right Hybrid Algorithm - A Combinatorial Meta-Problem
- by Joachim Schimpf and Mark Wallace, in Annals of Mathematics and Artificial Intelligence, 34(4):259--269, 2002. Pdf
- Probe backtrack search for minimal perturbation in dynamic scheduling
- by Hani El Sakkout and Mark Wallace Constraints, 5(4):359--388, 2000 Pdf
- Creating Hybrid Solutions for Inventory Management Problems
- by Rodosek R, Kokeny T, Caseau Y and LePape C, in Proceedings of the ERCIM/Compulog Workshop on Constraints, Hagenberg, 1997. Pdf
- A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems
- by Rodosek R and Wallace M G, in Proceedings of the 4th International Conference on Principles and Practice of Constant Programming, pg 385-399, LNCS 1520, Pisa, 1998. Pdf
- A New Approach to Integrating Mixed Integer Programming with Constraint Logic Programming
- by Rodosek R, Wallace M G and Hajian M T, Annals of Operational Research. Recent Advances in Combinatorial Optimization, 1998. Pdf
- Integrating Propagation and Built-in Constraints
- by Thierry Le Provost and Mark Wallace CHIC Deliverable 5.2.31, Pdf
- Using a Subsumption-Based Taxonomy to Construct Networks of Cooperating Decision Procedures
- by Pierre Lim and Mark Wallace [ECRC-92-1i]
Constraints
- High-Level Implementation of Consistency Techniques
- by Joachim Schimpf. 19th National Conference of the Australian Society for Operations Research (ASOR'07) (pdf, ppt)
- On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's "A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains"
- by Mark Wallace, Joachim Schimpf, Kish Shen and Warwick Harvey. In CONSTRAINTS Journal, ed. E.C. Freuder,9(1), pp 5-34, Kluwer, 2004. Programs.
- Engineering of Optimisation Projects
- The methodology developed by ESPRIT Project 22165 CHIC-2, 1999.
- ECLiPSe: A Platform for Constraint Logic Programming
- by Mark Wallace, Stefano Novello and Joachim Schimpf. ICL Systems Journal, Volume 12, Issue 1, May 1997, pp. 159-200. (revised version of Technical Report IC-Parc, Imperial College, London, August 1997, Pdf, Pdf)
- Constraint Programming
- by Mark Wallace. ICL Systems Journal, Volume 12, Issue 1, May 1997, pp. 137-158. (revised version of Technical Report IC-Parc, Imperial College, London, September 1995, Pdf, Pdf)
- Interval Propagation to Reason about Sets
- by Carmen Gervet. In CONSTRAINTS journal, ed. E.C. Freuder,1(3), pp 191-244, 1997. Pdf
- Terminological reasoning with constraint handling rules
- by Thom Frühwirth and Philippe Hanschke. Chapter in Principles and Practice of Constraint Programming (P. Van Hentenryck and V.J. Saraswat, Eds.), MIT Press, April 1995. Pdf
- High-Level Implementations of Constraint Handling Rules
- by Thom Fruehwirth and Pascal Brisset. [ECRC-95-20]
- Constraint Handling Rules
- Chapter in "Constraint Programming: Basics and Trends" (A. Podelski, ed.), Springer LNCS 910, March 1995, pp. 90ff. Pdf. See also CHR home page.
- Open Architecture for CLP
- by Micha Meier and Pascal Brisset. [ECRC-95-10]
- Metaterms with several attributes
- by Pascal Brisset. In Proceedings of the ILPS'93 Workshop on Methodologies for Composing Logic Programs, Vancouver, October 1993. Pdf
- Conjunto: Constraint Logic Programming with Finite Set Domains
- by Carmen Gervet. In Proceedings of the International Logic Programming Symposium (ILPS'94), pp 339-358, 1994. Pdf
- A Conservative Approach to Meta-Programming in Constraint Logic Programming
- by Pierre Lim and Joachim Schimpf. Proceedings of the Fifth International Symposium on Programming Language Implementation and Logic Programming, Tallinn, August 1993. Pdf
- Implementation of the ECLiPSe Rational Constraint Solver
- by Pierre Lim. [ECRC-94-23]
- Temporal reasoning with constraint handling rules
- by Thom Frühwirth. [ECRC-94-5]
- Two Problems - Two Solutions: One System - ECLiPSe
- by Mark Wallace and André Veron, in IEE Colloquium on Advanced Software Technologies for Scheduling, 1993. Pdf
- Constraint Logic Programming - An Informal Introduction
- by Thom Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Eric Monfroy, and Mark Wallace. [ECRC-93-5]
- Generalised Constraint Propagation Over the CLP Scheme
- by Thierry Le Provost and Mark Wallace. Journal of Logic Programming 16, July 1993. Also [ECRC-92-1]
- Domain-Independent Propagation
- by Thierry Le Provost and Mark Wallace. Proceedings of the FGCS'92, Tokyo, June 1992. Pdf
- The Constraint Logic Programming Language CHIP
- by M. Dincbas and P. Van Hentenryck and H. Simonis and A. Aggoun and T. Graf and F. Berthier. International Conference on FGCS 1988, Tokyo, November 1988.
Methodology
- Large Scale Combinatorial Optimization: A Methodological Viewpoint
- by Carmen Gervet. An overview paper about the methodology for developing large-scale combinatorial optimization problems, developed by ESPRIT Project 22165 CHIC-2. Discrete Mathematics and Theoretical Computer Science 2001, pp 151-175. Pdf
- CHIC-2 Methodology User Guide
- by the ESPRIT Project 22165 CHIC-2 consortium (Bouygues, Euro-Decision, IC-Parc, ICL, NTUA and Renault). A handbook of methodological guidelines for all participants in an industrial project that includes optimisation. It can be used by managers to organise and control the project and by technical people to improve the efficiency of their work. May 1999, 212 pages MS-Word (Individual chapters: Introduction, 1-Project Lifecycle, 2-Project Management, 3-Problem Definition Activity, 4-Solution Design Activity, 5-Implementation Activity, Annex, or gzip'd package).
- CHIC Lessons on CLP Methodology
- by André Chamard, Annie Fischler, Dominique-Benoît Guinaudeau and André Guillaud. This is an excellent overview of various methodological issues for CLP programming. 1995.
Prolog and Tools
- ECLiPSe - from LP to CLP
- by Joachim Schimpf and Kish Shen. Theory and Practice of Logic Programming / Volume 12 / Special Issue on Prolog Systems 1-2, pp 127 - 156. Copyright Cambridge University Press 2011, Published online 12 September 2011, DOI:10.1017/S1471068411000469. Published version (author's copy). Preprint arXiv:1012.4240v1.
- Logical Loops
- by Joachim Schimpf. Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July/August 2002. Proceedings, LNCS 2401, pg 224-238, © Springer-Verlag, Paper (Pdf), Slides (PPT, Pdf), Code.
- A High-Level Generic Interface to External Programming Languages for ECLiPSe
- by Shen K and Schimpf J and Novello S and Singer J., Proceedings of Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Lecture Notes in Computer Science 2257, pg 262-279, © Springer-Verlag, January 2002. Pdf
- Key Features of a Prolog Module System
- by Michel Dorochevsky. [ECRC-TR-DPS-103]
- Shallow Backtracking in Prolog Programs
- by Micha Meier. ECRC Technical Report, 1987 [ECRC-95-11]
- SEPIA - An Extendible Prolog System
- by Micha Meier and Abderrahmane Aggoun and David Chan and Pierre Dufresne and Reinhard Enders and Dominique Henry de Villeneuve and Alexander Herold and Philip Kay and Bruno Perez and Emmanuel van Rossum and Joachim Schimpf. Proceedings of the 11th World Computer Congress IFIP'89, San Francisco, August 1989. Pdf
- Event Handling in Prolog
- by Micha Meier. Proceedings of the North American Conference on Logic Programming, Cleveland, October 1989. [ECRC-95-9]
- SEPIA Programming Environment
- by Micha Meier and Philip Kay and Emmanual van Rossum and Hugh Grant. Proceedings of the NACLP'89 Workshop on Logic Programming Environments: The Next Generation, Cleveland, October 1989. Pdf
- Compilation of Compound Terms in Prolog
- by Micha Meier. Proceedings of the NACLP'90, Austin, October 1990. Also [ECRC-95-12], Code from appendix A.
- Garbage Collection for Prolog based on Twin Cells
- by Joachim Schimpf. Proceedings of the NACLP'90 Workshop on LP Architectures, Austin, October 1990. Pdf
- Recursion vs. Iteration in Prolog
- by Micha Meier. Proceedings of the ICLP'91, Paris, June 1991. [ECRC-95-13]
- An Architecture for Prolog Extensions
- by Micha Meier and Joachim Schimpf. Proceedings of the 3rd International Workshop on Extensions of Logic Programming, Bologna, 1992. [ECRC-95-6]
- Control in ECLiPSe
- by Micha Meier and Joachim Schimpf. ECRC Technical report, 1995. [ECRC-95-7]
- Better Late than Never
- by Micha Meier. Implementations of Logic Programming Systems, Kluwer Academic Publishers, 1994. [ECRC-95-8]
- The PADDY Partial Deduction System
- by Steven Prestwich. [ECRC-92-6]
Parallelism
- The Handbook of Parallel Constraint Logic Programming Applications
- by Alexander Herold (Ed.) This is the final deliverable of the APPLAUSE ESPRIT project. The main part of the book contains the description of APPLAUSE parallel CLP applications summarizing the experience gathered in the course of the project. ECRC, November 1995. Pdf.
- ECLiPSe Programming Tutorial
- by Steven Prestwich. [ECRC-95-17]
- Parallel CLP on Heterogeneous Networks
- by Shyam Mudambi and Joachim Schimpf. Proceedings of ICLP'94, pp 124-141, MIT Press 1994. [ECRC-94-17]
- Programmer-Oriented Visualisation of Parallel Logic Program Execution
- by Steven Prestwich and Tony Kusalik. [ECRC-94-7]
- Parallel Speedup Anomalies and Program Development
- by Steven Prestwich. [ECRC-93-12]
- ElipSys Programming Tutorial
- by Steven Prestwich. [ECRC-93-2]
Debugging
- CP-Viz: A Generic Visualization Platform for CP
- by Helmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta, Luis Quesada and Mats Carlsson. The CP-Viz constraint visualization system that is included in ECLiPSe 6.1 and later. (CP-2010 Paper, slides, project web site)
- Debugging Constraint Programs
- by Micha Meier [ECRC-95-15]
- Opium: A high-level debugging environment for Prolog
- by Mireille Ducasse. [ECRC-93-16]
- An Extendable Trace Analyser to Support Automated Debugging
- by Mireille Ducasse. [ECRC-92-33]
- Abstract views of Prolog executions in Opium
- by Mireille Ducasse. [ECRC-92-11]
- A Debugger for Constraints in Prolog
- by Michael Dahmen. ECRC Technical report ECRC-91-11, 1991.