Logic Programming with Temporal Constraints

Combines logic programming and temporal constraint processing techniques in a language called TCLP (Temporal Constraint Logic Programming), which augments logic programs with temporal constraints. Known algorithms for processing disjunctions in temporal constraint networks are applied. We identify a decidable fragment called Simple TCLP, which can be viewed as extending Datalog with limited functions to accommodate intervals of occurrence and temporal constraints between them. Some of the restrictions introduced by Simple TCLP are overcome by a syntactic structure which provides it with the benefits of reification. The latter allows quantification on temporal occurrences and relation symbols.

Authors

• Eddie Schwalb
• Lluís Vila

Keywords

• Logic programming
• Artificial intelligence
• Computational modeling
• Relational databases
• Computer science
• Constraint theory
• Proposals
• Temporal Constraints
• Program Logic
• Data Logger
• Disjunction
• Syntactic Structure
• Temporal Occurrence
• Performance Benefits
• Relational Database
• Homomorphism
• Simple Program
• First-order Logic
• Constraint Satisfaction Problem
• Class Constraints
• Finite Representation
• Class Program
• Finite Structure
• Order Logic