Modularity and Temporal Reasoning: A Logic Programming Approach

Albeit temporal reasoning and modularity are very prolific fields of research in logic programming (LP), we find few examples of their integration. In this paper we propose the addition of temporal annotations to a modular extension of LP. Moreover, we also provide a sketch for a compiler, allowing this way for the development of applications based on such language.