Abstract
Modularity is a key issue in the design of modern programming languages. When designing modular features for declarative languages in general, and for logic programming languages in particular, the challenge lies in avoiding the superimposition of a complex syntactic and semantic structure over the simple structure of the basic language. The modular framework defined here for logic programming consists of a small number of operations over modules which are (meta-) logically defined and semantically justified in terms of the basic logic programming semantics. The operations enjoy a number of algebraic properties, thus yielding an algebra of modules. Despite its simplicity, the suite of operations is shown capable of capturing the core features of modularization: information hiding, import/export relationships, and construction of module hierarchies. A metalevel implementation and a compilation-oriented implementation of the operations are provided and proved sound with respect to the semantics. The compilation-oriented implementation is based on manipulation of name spaces and provides the basis for an efficient implementation.
Publisher
Association for Computing Machinery (ACM)
Reference38 articles.
1. Module algebra
2. Amalgamating language and metalanguage in logic programming. In Logic Programming, K. Clark and S. Tarnlund, Eds. Academic Press;BOWEN K.;New York,1982
3. BROGI A. 1993. Program construction in computational logic. Ph.D. thesis University of Pisa Pisa Italy. BROGI A. 1993. Program construction in computational logic. Ph.D. thesis University of Pisa Pisa Italy.
4. Compositional model-theoretic semantics for logic programs;BROGI A.;New Gen. Comput.,1992
Cited by
48 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Sequential composition of propositional logic programs;Annals of Mathematics and Artificial Intelligence;2024-02-15
2. Logic program proportions;Annals of Mathematics and Artificial Intelligence;2023-12-06
3. A Formal Framework for Combining Legal Reasoning Methods;Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law;2023-06-19
4. A Unified Approach to Semantic Information and Communication Based on Probabilistic Logic;IEEE Access;2022
5. Answer set programming and agents;The Knowledge Engineering Review;2018