The last years have seen continuous progress in the computing technology available both for the academic and commercial computing environments. Examples include improved processor performance, increased memory capacity and bandwith, faster networking technology, and Operating System support for cluster computing. Combined with recent advances in compilation technologies, these improvements are causing high--level languages to be regarded as good candidates for programming complex, real world applications.

Logic Programming and Constraint Programming, in particular, seem to offer one of the best alternatives, as they couple a very high level of abstraction and a declarative nature with an extreme flexibility in the design of its execution model. This flexibility is the key to implicit exploitation of parallelism, allowing immediate and transparent reuse of logic and constraint programs written for sequential machines.

An orthogonal but synergistic issue in the pursue of high--performance, high-level languages are the recent advances in implementation techniques for logic and constraint languages and systems. These techniques aim both at achieving both flexibility in the design, thus making powerful extensions easier to implement, and at reaching good performance as measured in terms of speed and memory consumption, thus making those languages and systems amenable for real world applications.

Workshop Goals

Our intent is to bring together, in an informal setting, people involved in research on sequential and parallel implementation technologies for logic and constraint programming languages and systems, in order to promote a much needed exchange of ideas and feedback on recent developments. We hope that the workshop will provide meeting ground for people working on implementation technology for different aspects of execution of logic-based and constraint-based languages and systems.

This workshop continues a tradition of succesful workshops on Implementations of Logic Programming Systems, previously held with considerable success in Budapest (1993) and Ithaca (1994), and the Compulog Net workshops on Parallelism and Implementation Technologies held in Madrid (1993 and 1994), Utrecht (1995), Bonn (1996), Port Jefferson (1997), and Manchester (1998), Las Cruces (1999), and London (2000). The workshop is also aimed at continuing the successful experience of TRICS held in Singapore (2000).

WB01337_.gif (904 bytes)