CICLOPS 2001 |
|
Introduction |
|
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). |
|