Templog

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

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