Enhancing Usefulness of Declarative Programming Frameworks through Complete Integration

The Gisela framework for declarative programming was de- veloped with the specific aim of providing a tool that would be useful for knowledge representation and reasoning within real-world applications. To achieve this, a complete integration into an object-oriented application development environment was used. The framework and methodology developed provide two alternative application programming interfaces (apis): Programming using objects or programming using a traditional equational declarative style. In addition to providing complete integration, Gisela also allows extensions and modificationsdue to the general computation model and well-defined apis. We give a brief overview of the declarative model underlying Gisela and we present the methodologyproposed for building applications together with some real examples.

[1]  Göran Falkman.  Program Separation and Definitional Higher Order Programming , 1997, Comput. Lang..

[2]  Göran Falkman.  Definitional program separation , 1996 .

[3]  Olof Torgersson.  Declarative Programming and Clinical Medicine , 2002, PADL.

[4]  Michael Hanus,et al.  A Functional Logic Programming Approach to Graphical User Interfaces , 2000, PADL.

[5]  Göran Falkman,et al.  Similarity Measures for Structured Representations: A Definitional Approach , 2000, EWCBR.

[6]  Paul Hudak.  The Haskell School of Expression: Learning Functional Programming through Multimedia , 1999 .

[7]  Lars Hallnäs,et al.  A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules , 1990, J. Log. Comput..

[8]  Andrea Omicini,et al.  tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures , 2001, PADL.

[9]  Antony Courtney,et al.  Frappé: Functional Reactive Programming in Java , 2001, PADL.

[10]  Nick Benton,et al.  Interlanguage working without tears: blending SML with Java , 1999, ICFP '99.

[11]  David Jeffery,et al.  MCORBA: A CORBA Binding for Mercury , 1999, PADL.

[12]  Lars Hallnäs.  Partial inductive definitions , 1991 .

[13]  G Falkman,et al.  MedView-design and adoption of an interactive system for oral medicine. , 2000, Studies in health technology and informatics.

[14]  Kish Shen,et al.  A High-Level Generic Interface to External Programming Languages for ECLiPSe , 2002, PADL.

[15]  Peter Ross,et al.  Compiling Mercury to the .NET Common Language Runtime , 2001, Electron. Notes Theor. Comput. Sci..