• Publications
  • Influence
ECLiPSe: A Platform for Constraint Logic Programming
TLDR
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
  • 196
  • 16
ECLiPSe - From LP to CLP
TLDR
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
  • 66
  • 5
  • PDF
Logical Loops
TLDR
We present a concrete proposal for enhancing Prolog and Prolog based Constraint Logic Programming languages with a new language construct, the logical loop. Expand
  • 33
  • 2
  • PDF
Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming
TLDR
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
  • 25
  • 2
  • PDF
An Architecture for Prolog Extensions
TLDR
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
  • 21
  • 2
  • PDF
ECLiPSe: Declarative Specification and Scaleable Implementation
TLDR
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
  • 4
  • 2
SEPIA - An Extendible Prolog System
  • 47
  • 1
Finding the Right Hybrid Algorithm - A Combinatorial Meta-Problem
TLDR
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
  • 16
  • 1
Parallel CLP on Heterogeneous Networks
TLDR
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
  • 24
  • 1
  • PDF
Finding the Right Hybrid Algorithm – A Combinatorial Meta-Problem
  • M. Wallace, J. Schimpf
  • Computer Science
  • Annals of Mathematics and Artificial Intelligence
  • 21 April 2002
TLDR
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
  • 17
  • 1