Tempura

A language based on temporal logic.

Executing Temporal Logic Programs, B. Moszkowski, Cambridge University Press, 1986.