templog

from The Free On-line Dictionary of Computing (8 July 2008)

TEMPLOG

   Extension of {Prolog} to handle a clausal subset of
   first-order {temporal logic} with discrete time.  Proposed by
   M. Abadi and Z. Manna of {Stanford University}.

   ["Temporal Logic in Programming", M. Abadi et al, INtl Symp
   Logic Prog pp.4-16 (1987)].