Vítor Nogueira

Learn More
This article merges two approaches: one dealing with persistence for logic programs, as provided by a relational database back-end and another which addresses the issues of logic program structuring, by way of the parametric context. We claim that these two can be effectively combined to obtain a language which offers significant gains in expres-siveness(More)
The importance of temporal representation and reasoning is well known to the database community. Examples of such significance are the languages TSQL2 and its follow up, SQL/Temporal. Contextual Logic Programming (CxLP) is a powerful and simple mechanism which addresses the general issue of modularity in Logic Programming. In this paper we propose a(More)
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(More)
Albeit temporal reasoning and modularity are very prolific fields of research in Logic Programming (LP) we find few examples of their integration. Moreover, in those examples, time and modularity are considered orthogonal to each other. In this paper we propose the addition of temporal annotations to a modular extension of LP such that the usage of a module(More)
  • 1