We discuss different techniques for representing infinite temporal data. There are
two basic approaches: A procedural description, as used in production systems, and
represented, in this paper, by a version of Datalog. The second approach is a more
declarative method, using some form of temporal logic programming. We examine several
versions of each approach, and compare their expressive power, i.e., what temporal
data each formalism can capture.Information Systems Working Papers Serie
