Source : Free On-Line Dictionary of Computing

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)].