CW 371

Fred Mesnard, Alexander Serebrenik
Proceedings of the 13th International Workshop on Logic Programming Environments

Abstract

This volume contains papers presented at WLPE 2003, the 13th International Workshop on Logic Programming Environments. The aim of WLPE is to provide an informal meeting for researchers working on tools for development and analysis of logic programming. This year, the emphasis is on the presentation, pragmatics and experiences of such tools. WLPE 2003 takes place in Tata Institute of Fundamental Research, Mumbai, India on December 8 and is a part of a bigger event, ICLP 2003, the 19th International Conference on Logic Programming, holding in conjunction with ASIAN 2003, the Eighth Asian Computing Science Conference, and FSTTCS 2003, the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science. This workshop continues the series of successful international workshops on logic programming environments held in Ohio, USA (1989), Eilat, Israel (1990), Paris, France (1991), Washington, USA (1992), Vancouver, Canada (1993), Santa Margherita Ligure, Italy (1994), Portland, USA (1995), Leuven, Belgium and Port Jefferson, USA (1997), Las Cruces, USA (1999), Paphos, Cyprus (2001) and Copenhagen, Denmark (2002). We would like to express our gratitude to the ICLP organisers for hosting the workshop. Special thanks go to R.K.Shyamasundar for taking care of the many organisational matters, in particular, printing these proceedings. Also we would like to thank the program committee members for reviewing and discussing the submissions as well as the authors for submitting their work. Out of 9 submissions the program committee has selected 5 works for presentation. In addition, Jan Wielemaker (University of Amsterdam, The Netherlands) was invited to present a number of typical problems Prolog users are faced with and illustrate how tools developed in SWI-Prolog may help to find them.