Declarative programming systems are logic programming (LP) systems with varying underlying logics that determine the semantics and computational model of the system. The expressiveness of declarative programming paradigms is greatly enhanced by combining different declarative programming paradigms by means of integration of their logical foundations, e.g., integrating functional programming and Horn clause LP, combining LP languages with constraints and computer algebra systems, integrating LP with process calculi as well as unifying various LP models by exploiting new logical foundations such as linear logic and rewriting logic. In recent years, the research on integrating declarative programming systems led to significant achievements, resulting in a new era of multi-paradigm logic programming.

This workshop is designated to the investigation of the foundations and methodologies for constructing multi-paradigm logic programming languages. It also reviews various approaches and recent developments. Special emphasis is placed on the interaction of the areas usually termed ``functional programming'' and ``logic programming''---greatly due to the amalgamation with the workshop What Can Logic Programmers Learn From Functional Programmers?

In particular, MPLP aims to bring those who are working on different integration approaches together, to investigate common frameworks and future directions of general multi-paradigm logic programming. The workshop emphasises the following subjects:

• General frameworks for integrating LP systems such as general logics, linear logic, and rewriting logic.
• Approaches for integration that include
  • integration of Horn clause logic language with other LP systems (such as functional programming, equational LP),
  • cross-fertilization of the areas of ``functional programming'' and ``logic programming'',
  • logic programming based on meta logics (such as linear logic, rewriting logics),
  • integrating constraints or computer algebra systems with logic programming systems, and
  • integrating logic programming with process calculi and concurrent object models.
• Implementation and application of integrated systems.

The proceedings of MPLP have been published as Forschungsbericht #96-28 (research report) of the Fachbereich Informatik, Technische Universität Berlin.

This page is maintained by Manuel M. T. Chakravarty. Last changes: 24 September 1996.