TempLog

A clausal subset of first-order temporal logic, with discrete time.

"Temporal Logic in Programming", M. Abadi et al, International Symposium on Logic Programming, pp.4-16 (1987).