Using Contextual Logic Programming for Temporal Reasoning

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 framework for temporal representation and reasoning that makes use of recent developments of CxLP. The elementary temporal elements of our system are sets of time points, defined in Constraint Logic Programming (CLP). Combining the paradigms of CxLP and CLP, we define time points, intervals (sets containing all time points between the bounds) and operations between these temporal elements.

• Type: Conference
• Year: 2003
• Where: JISBD
• Authors: Vítor Nogueira, Salvador Abreu, Gabriel David
• Keywords: JISBD 2003, Logic Programming, Software Engineering, Temporal Representation, Time Points