Integration of Declarative Paradigms
 Proceedings of the ICLP'94 PostConference Workshop
Editors
Technical Report MPII94224, MaxPlanckInstitut fuer Informatik
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 constraintbased or
objectbased, 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:
BibTeXEntry
Contents

Cover Page, Preface, Table of Contents

Flogic 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 Constructorbased Type Constraints
H.J. Goltz

A Typed Functional Language Based on Sequent Calculus
M. Tarver

The JUMPmachine: 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 RealTime 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
Michael Hanus