Logic for problem-solving
Programs as collections of communicating Prolog units
Proc. of the European symposium on programming on ESOP 86
Enumeration operators and modular logic programming
Journal of Logic Programming
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Equivalences of logic programs
Foundations of deductive databases and logic programming
A logical analysis of modules in logic programming
Journal of Logic Programming
Fully abstract compositional semantics for logic programs
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of the ACM (JACM)
A transformational view of inheritance in logic programming
Logic programming
Meta-programming in logic programming
Handbook of theoretical computer science (vol. B)
A metalogic programming approach to multi-agent knowledge and belief
Artificial intelligence and mathematical theory of computation
A calculus for the construction of modular Prolog programs
Journal of Logic Programming
Types in logic programming
The Go¨del programming language
The Go¨del programming language
Theory construction in computational logic
Constructing logic programs
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Meta for Modularising Logic Programming
META-92 Proceedings of the 3rd International Workshop on Meta-Programming in Logic
Logic Programming within a Functional Framework
PLILP '90 Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Logic programming with the World-Wide Web
Proceedings of the the seventh ACM conference on Hypertext
Towards declarative GIS analysis
GIS '96 Proceedings of the 4th ACM international workshop on Advances in geographic information systems
Applying restriction constraints to deductive databases
Annals of Mathematics and Artificial Intelligence
MuTACLP: A Language for Temporal Reasoning with Multiple Theories
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
The Use of Renaming in Composing General Programs
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
On the Integration of Recursive ALN-Theories
AI '00 Proceedings of the 13th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
Isoinitial Semantics for Logic Programs
CL '00 Proceedings of the First International Conference on Computational Logic
MuTACLP: A Language for Declarative GIS Analysis
CL '00 Proceedings of the First International Conference on Computational Logic
Composing programs in a rewriting logic for declarative programming
Theory and Practice of Logic Programming
Proceedings of the 12th ACM symposium on Access control models and technologies
A Multi-theory Logic Language for the World Wide Web
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Achieving compositionality of the stable model semantics for smodels programs1
Theory and Practice of Logic Programming
Modular Equivalence for Normal Logic Programs
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Modular Nonmonotonic Logic Programming Revisited
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Incremental awareness and compositionality: A design philosophy for context-aware pervasive systems
Pervasive and Mobile Computing
Modular web queries: from rules to stores
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems - Volume Part II
A generic module system for web rule languages: divide and rule
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
Towards modular development of typed unification grammars
Computational Linguistics
A modular semantics for higher-order declarative programming with constraints
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Future Generation Computer Systems
Compositional semantics for the procedural interpretation of logic
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Dynamic composition of parameterised logic modules
Computer Languages
Meta-variables in Logic Programming, or in Praise of Ambivalent Syntax
Fundamenta Informaticae
| Hi-index | 0.00 |
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.