Integration of Declarative Paradigms - Proceedings of the ICLP'94 Post-Conference Workshop

Editors

• Hassan Aït-Kaci
• Michael Hanus
• Juan Jose Moreno Navarro

Since the initial efforts in reconciling the styles of functional programming and logic programming, there has been significant work done regarding efficient implementation. Also, new declarative paradigms, such as constraint-based or object-based, have now emerged, asking naturally to be conjugated and exploited along with other such programming techniques. As a result, interest in the integration of declarative paradigms has been spurred anew. This workshop aims at bringing together researchers from different communities as well as giving the logic programming audience an idea of recent advances. Topics are: language features, semantics, execution principles, implementation issues, constraints, types, functions, and concurrency.

Available: BibTeX-Entry

Contents

• Cover Page, Preface, Table of Contents
• F-logic Programming and Terminological Constraints
  C. Rigotti, M.-S. Hacid, J.-F. Boulicaut
• A Layer Architecture for the Integration of Rules, Inheritance, and Constraints
  A. Abecker, H. Wache
• Semantics of Constraint Logic Programs with Optimization
  K. Marriott, P.J. Stuckey
• Logic Programming with Constructor-based Type Constraints
  H.-J. Goltz
• A Typed Functional Language Based on Sequent Calculus
  M. Tarver
• The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms
  M.M.T. Chakravarty, H.C.R. Lock
• Integrating Disequations in the Algebraic and Logic Programming Language LPG
  D. Bert, R. Echahed
• Efficient Integration of Declarative Paradigms into Symbolic Computation Systems
  G. Grivas
• Implementation Issues of a Distributed Real-Time Logic Language
  M. Diaz, B. Rubio, J.M. Troya
• Compilation of Concurrent Declarative Languages
  Z.M. Ariola, B.C. Massey, M. Sami, E. Tick
• Distributed Declarative Systems as Parts of Cooperating Software Environments
  G. Czajkowski, A. Uszok, K. Zielinski