This paper introduces a generalization of Datalog based on the notion of integer periodicity constraints. A closed form evaluation procedure running in PTIME for this class of constraints is developed. The periodicity constraints are then combined with integer (gap-)order constraints and an evaluation procedure for the combination is developed. A general method for combining di erent classes of constraints in the framework of Datalog is also discussed.
Datalog was extended with integer periodicity and gap-order constraints in REF ; such constraints allow for the representation of infinite periodic phenomena.
Datalog with Integer Periodicity Constraints
Proc. 1994 International Logic Programming Symposium
Mathematics Computer Science