Language based on temporal logic. "Executing Temporal Logic Programs", B. Moszkowski, Camb U Press 1986.