Technical Report: DCC-2003-05

Proceedings of CICLOPS'2003

Colloquium on Implementation of Constraint and LOgic Programming Systems

Ricardo Lopes and Michel Ferreira

DCC-FC & LIACC, Universidade do Porto
R. do Campo Alegre 823, 4150-180 Porto, Portugal
Phone: 351 22 6078830, Fax: 351 22 6003654
E-mail: {rslopes,michel}@ncc.up.pt
December 2003

PREFACE

This book contains the Proceedings of the CICLOPS'03 -- Colloquium on Implementation of Constraint and LOgic Programming Systems 2003 -- held in Mumbai (India), December 2003.

CICLOPS'03 means 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 successful workshops on Implementations of Logic Programming Systems, previously held with considerable success in Budapest (1993) and Ithaca (1994), the Compulog Net workshops on Parallelism and Implementation Technologies held in Madrid (1993 and 1994), Utrecht (1995) and Bonn (1996), the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages held in Port Jefferson (1997), and Manchester (1998), Las Cruces (1999), and London (2000), and recently the Colloquium on Implementation of Constraint and LOgic Programming Systems in Paphos (Cyprus-2001) and Copenhagen (2002).