Cover Page and List of Papers

• Cover Page and Introduction
• A Concurrent Implementation of Curry in Java
  Michael Hanus and Ramin Sadre
  RWTH Aachen, Germany
  
• Realizing Modularity in lambdaProlog
  Gopalan Nadathur and Guanshan Tong
  U Chicago, USA
  
• Controlling the Search in Tabled Evaluations
  Juliana Freire and David S. Warren
  U Stony Brook, USA
  
• An extension of the WAM for Cooperative Interval Solvers
  Frederic Goualard and Laurent Granvilliers
  LIFO, U Orleans, France
  
• The Finite-Domain Constraint Compiler of B-Prolog
  Neng-Fa Zhou
  Kyushu Institute of Technology, Japan
  
• Extended Dynamic Dependent And-Parallelism in ACE
  G. Gupta, E. Pontelli
  LLDAP, New Mexico State University, USA
  
• A Parallel Abstract Machine for the Thread-Based Concurrent Language Oz
  Konstantin Popov
  DFKI, Saarbrucken, Germany
  
• Analysis and Improvement of the Variable Binding Scheme in LOGFLOW
  Zsolt Nemeth and Peter Kacsuk
  KFKI, Hungary
  
• A New Metric for Controlling Granularity for Parallel Execution
  K. Shen, V. Santos Costa, A. King
  U Manchester, UK, U Porto, Portugal and U Kent at Canterbury, UK
  
• ParTy -- A Parallel-Types Analyser
  Luis Castro and Claudio Geyer
  UFRGS, Brazil
  
• VisAll: A new tool to visualise parallel execution of Logic Programs
  N. Fonseca, I. Dutra, V. Santos Costa
  U Porto, Portugal and UFRJ, Brazil
  
• A New Implementation Scheme for Combining And/Or Parallelism
  Kish Shen
  U Manchester, UK
  
• Multi-phase Copying Garbage Collection in LOGFLOW
  Norbert Podhorszki
  Hungarian Academy of Sciences, Hungary
  
• An extension of the WAM for uninitialized variables
  Dante Baldan, Nicola Civran and Gilberto File
  U Padova, Italy
  
• The BEAM: Towards a first EAM Implementation
  R. S. Lopes, V. S. Costa
  U Porto, Portugal
  

Introduction

Papers from both academia and industry were invited. Preference was given to the analysis and description of implemented systems (or currently under implementation) and their associated techniques, problems found in their development or design, and steps taken towards the solution of these problems.

Topics included, but were not limited to:

• standard and non--standard sequential implementation schemes (e.g., generalization/modification of WAM, translation to C, etc.);
• implementation of parallel logic programming systems;
• balance between compile--time effort and run--time machinery;
• techniques for the implementation of different declarative programming paradigms based on, or extending, logic programming (e.g., constraint logic programming, concurrent constraint languages, equational--logic languages);
• performance evaluation of sequential and parallel logic programming systems, both through benchmarking and using real world applications;
• other implementation--related issues, such as memory management, register allocation, use of global optimizations, etc.

We were very fortunate to have quite a few interesting communications, ranging though widely different subjects and giving a broad coverage on current research in sequential and parallel logic programming. In what regards sequential research in logic programming, the communications focused on constraint evaluation, support of logic programming extensions and abstract machines for performance evaluation. In what regards parallel implementations, the focus of interest was on thread-based systems, granularity control, garbage collection, new implementation techniques to combine andør parallelism and performance evaluation.

The workshop organisers would like to thank all authors that chose to submit their work to this workshop, and also for their cooperation in making this document possible. We would also to thank the ILPS'97 organisers for their support in the organisation of the workshop. Vítor Santos Costa and Fernando Silva would like to thank the PRAXIS PROLOPPE and JNICT MELODIA projects for their support.

Inês de Castro Dutra
COPPE/Sistemas, Universidade Federal do Rio de Janeiro, Bloco H-319
Cx. Postal 68511, Rio de Janeiro, Brasil, CEP: 21945-970
Email: ines@cos.ufrj.br

Vítor Santos Costa,
Fernando Silva,
LIACC, Universidade do Porto, Rua do Campo Alegre, 823, 4150 Porto, Portugal
Email: {vsc,fds}@ncc.up.pt

Enrico Pontelli,
Gopal Gupta,
LLDAP, New Mexico State University, Box 30001, Las Cruces, NM 88003, USA
Email: {epontell,gupta}@cs.nmsu.edu