Language based on temporal logic. "Executing Temporal Logic Programs", B. Moszkowski, Camb U Press 1986.
Try this search on Wikipedia, OneLook, Google