This paper introduces the Constraint Logic Programming (CLP) platform ECL i PS e, which enables the programmer to use a combination of algorithms appropriate to the application at hand to solve "combinatorial" industrial problems.Expand

This paper discusses language extensions, implementation aspects, components, and tools that we consider relevant on the way from Logic Programming to Constraint Logic Programming.Expand

We present a concrete proposal for enhancing Prolog and Prolog based Constraint Logic Programming languages with a new language construct, the logical loop.Expand

The eplex library of the ECLiPSe Constrain Logic Programming platform allows the integration of Mathematical Programming techniques with its native Constraint Logic Programming techniques within the same unified framework.Expand

In this article we describe an architecture of a Prolog system that gives the user enough support to quickly prototype new extensions and at the same time to implement them efficiently and incrementally.Expand

Some years ago the vision of computer scientists was to enable end users to specify what they wanted, and leave it up to the computer how to work it out.Expand

We explore the space of hybrid algorithms for a very unpromising class (SAT problems), and using ECLiPSe we were able to develop an algorithm which showed good performance on some very hard instances.Expand

The combination of Or-Parallelism and Constraint Logic Programming (CLP) has proven to be very effective in tackling large combinatorial problems in real-life applications.Expand

We use ECLiPSe to explore the space of hybrid algorithms for large scale industrial combinatorial optimisation problems, and show that there is as yet no finite list of algorithmic building bricks.Expand