J. Schimpf

Publications
Influence

ECLiPSe: A Platform for Constraint Logic Programming

M. Wallace, S. Novello, J. Schimpf
Computer Science
1997

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

ECLiPSe - From LP to CLP

J. Schimpf, Kish Shen
Computer Science
Theory Pract. Log. Program.
19 December 2010

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

Logical Loops

J. Schimpf
Computer Science
ICLP
29 July 2002

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

Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming

Kish Shen, J. Schimpf
Computer Science
CP
1 October 2005

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

An Architecture for Prolog Extensions

M. Meier, J. Schimpf
Computer Science
ELP
26 February 1992

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

ECLiPSe: Declarative Specification and Scaleable Implementation

M. Wallace, J. Schimpf
Computer Science
PADL
18 January 1999

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

SEPIA - An Extendible Prolog System

M. Meier, A. Aggoun, +8 authors J. Schimpf
Computer Science
IFIP Congress
1989

Finding the Right Hybrid Algorithm - A Combinatorial Meta-Problem

J. Schimpf, M. Wallace
Computer Science
Electron. Notes Discret. Math.
2000

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

Parallel CLP on Heterogeneous Networks

S. Mudambi, J. Schimpf
Computer Science
ICLP
23 August 1994

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

Finding the Right Hybrid Algorithm – A Combinatorial Meta-Problem

M. Wallace, J. Schimpf
Computer Science
Annals of Mathematics and Artificial Intelligence
21 April 2002

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

Recommended Authors