Modules in logic programming: A framework for knowledge management
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.
Unable to display preview. Download preview PDF.
- P. Atzeni, F. Cacace, S. Ceri, L. Tanca. The LOGIDATA+ model. Technical report Logidata+ 5/20, July 1990.Google Scholar
- 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
- 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
- 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
- S. Ceri, G. Gottlob, L. Tanca. Logic Programming and Databases. Springer-Verlag, 1990.Google Scholar
- P. Coscia, A. Fabrizio. Moduli in Logidata+: il prototipo. Technical Report Logidata+ 5/78, August 1991.Google Scholar