Advertisement

Modules in logic programming: A framework for knowledge management

  • Annalina Fabrizio
  • Maurizio Capaccioli
  • Sandra Valeri
Part IV: Deductive Detabases
Part of the Lecture Notes in Computer Science book series (LNCS, volume 701)

Abstract

This paper describes a proposal for knowledge modularization in a logic language. Our aim is to define structuring mechanisms for the integration and composition of modules in order to provide software reusability, clean problem definition and non-standard programming techniques. The proposed mechanisms include the ability to define modules and connections between them. A program module can be combined with other modules (by using the link mechanism) to offer a programming paradigm based on the separation of the problem in independent sub-problems. A suitable set of operators on logic modules offers a kernel for a rational reconstruction of knowledge representation and programming-in-the-large techniques. Modules can be represented by using different technologies: a module can be a data base or a C language program.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    P. Atzeni, F. Cacace, S. Ceri, L. Tanca. The LOGIDATA+ model. Technical report Logidata+ 5/20, July 1990.Google Scholar
  2. [2]
    K. A. Bowen and R. A. Kowalski. Amalgamating language and metalanguage in logic programming. In K. L. Klark and S. A. Tarnlund Eds., Logic Programming, Academic Press 1982, pages. 153–172Google Scholar
  3. [3]
    K. A. Bowen and T. Weinberg. Ameta-level extention of Prolog. In 1985 IEEE Symposium on Logic Programming, IEEE Computer Socierty Press 1985, pages 48–53Google Scholar
  4. [4]
    A. Brogi, P. Mancarella, D. Pedreschi, F. Turini. A Hierarchies through Basic Meta-Level Operators. In Proc. Workshop on Metaprogramming in Logic, META 90, Leuven, Belgio, May 1990.Google Scholar
  5. [5]
    S. Ceri, G. Gottlob, L. Tanca. Logic Programming and Databases. Springer-Verlag, 1990.Google Scholar
  6. [6]
    P. Coscia, A. Fabrizio. Moduli in Logidata+: il prototipo. Technical Report Logidata+ 5/78, August 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Annalina Fabrizio
    • 1
  • Maurizio Capaccioli
    • 1
  • Sandra Valeri
    • 1
  1. 1.Systems & ManagementTorinoItaly

Personalised recommendations